TY  - BOOK
AU  - Smullyan, R.M. 
TI  - Theory of formal systems
SN  - 9780691080475
U1  - 517.518.2 
PY  - 1996///
CY  - Priceton
PB  - PUP
KW  - MATHEMATICS
KW  - THEORY OF FUNCTION
KW  - FUNCTION THEORY
ER  -