TY  - BOOK
AU  - Fraise,Ronald
TI  - Course of mathematical logic volume I relation and logical formula
SN  - 9027704031
AV  - QA 9.A5F73  
PY  - 1974///
CY  - Boston
PB  - D.Reided
KW  - Recursive Functions
ER  -