TY  - BOOK
AU  - Smullyan, Raymond M.
TI  - Theory of formal systems
SN  - 9780691080475
CY  - Princeton
ER  -