Elementary induction on abstract structures /

other_versions_link
Podrobná bibliografie
Hlavní autor: Moschovakis, Yiannis N.
Médium: Printed Book
Jazyk:English
Vydáno: New York : North-Holland Pub. Co. ; 1974.
Edice:Studies in logic and the foundations of the mathematics vol.77
Témata:
Recursive functions.
Induction (Mathematics)
Elementary induction on abstract structures /

Podobné jednotky

Podobné jednotky