> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Proof methods for modal and intuitionistic logics Beteiligte: Fitting, Melvin [Verfasser:in] Erschienen: Dordrecht [u.a.]: Reidel, 1983 Erschienen in: Synthese <Dordrecht> / Library ; 16900 Umfang: VIII, 555 S.; graph. Darst; 23 cm Sprache: Englisch ISBN: 9027715734 RVK-Notation: CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Modallogik > Beweis Intuitionistische Logik > Beweis Modallogik > Automatisches Beweisverfahren Entstehung: Anmerkungen: Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke Weitere Bestandsnachweise 0 : Synthese <Dordrecht> / Library