Proof methods for modal and intuitionistic logics
Veröffentlicht in: | Synthese <Dordrecht> / Library |
---|---|
1. VerfasserIn: | |
Medienart: | Druck Buch |
Sprache: | Englisch |
Subito Bestelldienst: | Jetzt bestellen. |
Verfügbarkeit prüfen: | HBZ Gateway |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Veröffentlicht: |
Dordrecht [u.a.]
Reidel
1983
|
In: |
Synthese <Dordrecht> / Library (169)
|
Schriftenreihe/Zeitschrift: | Synthese <Dordrecht> / Library
169 |
normierte Schlagwort(-folgen): | B
Modallogik
/ Beweis
B Intuitionistische Logik / Beweis B Modallogik / Automatisches Beweisverfahren |
weitere Schlagwörter: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
Online Zugang: |
Cover Inhaltsverzeichnis (Verlag) |
Beschreibung: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
---|---|
ISBN: | 9027715734 |