TY  - BOOK
AU  - Smullyan,Raymond M.
TI  - Theory of formal systems
T2  - Annals of mathematics studies
SN  - 069108047X
PY  - 1961///
CY  - Princeton, NJ
PB  - Princeton Univ. Press
KW  - Entscheidbarkeit
KW  - Rekursivität
ER  -