Elementary induction on abstract structures /

other_versions_link
Библиографические подробности
Главный автор: Moschovakis, Yiannis N.
Формат: Printed Book
Язык:English
Опубликовано: New York : North-Holland Pub. Co. ; 1974.
Серии:Studies in logic and the foundations of the mathematics vol.77
Предметы:
Recursive functions.
Induction (Mathematics)
Elementary induction on abstract structures /

Схожие документы

Схожие документы