Elementary induction on abstract structures /

other_versions_link
Detalhes bibliográficos
Autor principal: Moschovakis, Yiannis N.
Formato: Printed Book
Idioma:English
Publicado em: New York : North-Holland Pub. Co. ; 1974.
Colecção:Studies in logic and the foundations of the mathematics vol.77
Assuntos:
Recursive functions.
Induction (Mathematics)
Elementary induction on abstract structures /

Registos relacionados

Registos relacionados