> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y., 1968 Weitere Titel: Abweichender Titel: Intuitionism and proof theory Enthält: Literaturangaben Beteiligte: Kino, Akiko [Hrsg.]; Myhill, John [Sonstige Person, Familie und Körperschaft] Veranstaltung: Summer Conference on Intuitionism and Proof Theory Erschienen: Amsterdam [u.a.]: North-Holland, 1970 Erschienen in: Studies in logic and the foundations of mathematics Umfang: VIII, 516 S Sprache: Englisch ISBN: 0720422574 RVK-Notation: CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung SD 1968 : Veranstaltungsjahr 1968 Schlagwörter: Beweistheorie > Intuitionistische Mathematik Mathematische Logik Entstehung: Anmerkungen: