TY  - BOOK
AU  - Moschovakis,Yiannis N.
TI  - Elementary induction on abstract structures
T2  - Studies in logic and the foundations of the mathematics
PY  - 1974///
CY  - New York
PB  - North-Holland Pub. Co.
KW  - Recursive functions
KW  - Induction (Mathematics)
KW  - Elementary induction on abstract structures
N1  - Includes index
ER  -