> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Theory of formal systems Beteiligte: Smullyan, Raymond M. [Verfasser:in] Erschienen: Princeton, NJ: Princeton Univ. Press, 1961 Erschienen in: Annals of mathematics studies ; 47,rev Ausgabe: Rev. ed. Umfang: 147 S. Sprache: Englisch 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, Schlagwörter: Rekursivität Entscheidbarkeit Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Annals of mathematics studies