Media type: Book Title: Theory of formal systems Contributor: Smullyan, Raymond M. [Author] imprint: Princeton, NJ: Princeton Univ. Press, 1961 Published in: Annals of mathematics studies ; 47,rev Issue: Rev. ed. Extent: 147 S. Language: English ISBN: 069108047X RVK notation: CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung SI 830 : Annals of mathematics studies. Hrsg. v. Princeton University SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Rekursivität Entscheidbarkeit Origination: Footnote: