Elementary induction on abstract structures /

Elementary induction on abstract structures /

41

Detalhes bibliográficos
Autor principal: 387499 Moschovakis, Yiannis N.
Formato:
Publicado em: Amsterdam : North-Holland, 1974
Assuntos:
Induction (Logic)
Induction (Mathematics)

Registros relacionados