> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: A short introduction to intuitionistic logic Beteiligte: Mints, G. E. [VerfasserIn] Erschienen: New York, NY [u.a.]: Kluwer Academic/Plenum Publ., 2000 Erschienen in: The university series in mathematics Umfang: IX, 131 S.; 24 cm Sprache: Englisch ISBN: 0306463946 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, CC 2400 : Einführungen, Handbücher, Sammelbände und Bibliografien Schlagwörter: Intuitionistische Logik Intuitionistische Logik > Einführung Entstehung: Anmerkungen: Includes index