> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Proof theory : [based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968] Beteiligte: Takeuti, Gaisi [Verfasser:in] Erschienen: Amsterdam [u.a.]: North Holland, 1987 Erschienen in: Studies in logic and the foundations of mathematics ; 8102 Ausgabe: 2. ed. Umfang: X, 490 S Sprache: Englisch ISBN: 0444879439 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Beweistheorie Mathematische Logik Entstehung: Anmerkungen: Literaturverz. S. 481 - 485 Weitere Bestandsnachweise 0 : Studies in logic and the foundations of mathematics