Moschovakis, Yiannis N
Elementary induction on abstract structures - New York: Dover Publications, 2008 - 217p.
978 0 486 46678 1
Recursive functions
Induction( Mathematics)
511.352 / M896
Elementary induction on abstract structures - New York: Dover Publications, 2008 - 217p.
978 0 486 46678 1
Recursive functions
Induction( Mathematics)
511.352 / M896