TY  - BOOK
AU  - Moschovakis,Yiannis N.
TI  - Elementary induction on abstract structures
SN  - 0720422000 :
U1  - 164 
PY  - 1974///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Recursive functions
KW  - Induction (Mathematics)
N1  - Includes bibliographical references and index
ER  -