Elementary induction on abstract structures /

other_versions_link
Opis bibliograficzny
1. autor: Moschovakis, Yiannis N.
Format: Printed Book
Język:English
Wydane: New York : North-Holland Pub. Co. ; 1974.
Seria:Studies in logic and the foundations of the mathematics vol.77
Hasła przedmiotowe:
Recursive functions.
Induction (Mathematics)
Elementary induction on abstract structures /

Podobne zapisy

Podobne zapisy