TY  - BOOK
AU  - Moschovakis,Yiannis N
TI  - Elementary induction on abstract structures
SN  - 0444105379
PY  - 1974///
CY  - Amsterdam
PB  - North-Holland Publishing Co.
KW  - Recursive functions
KW  - Induction (Mathematics)
N1  - Bibliography: p. 209-212
ER  -