Proof methods for modal and intuitionistic logics
| 1. VerfasserIn: | |
|---|---|
| Medienart: | Druck Buch |
| Sprache: | Englisch |
| Subito Bestelldienst: | Jetzt bestellen. |
| Verfügbarkeit prüfen: | HBZ Gateway |
| WorldCat: | WorldCat |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Veröffentlicht: |
Dordrecht [u.a.]
Reidel
1983
|
| In: |
Synthese <Dordrecht> / Library (169)
Jahr: 1983 |
| 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 |
| Beschreibung: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
|---|---|
| Physische Details: | VIII, 555 S., graph. Darst., 23 cm |
| ISBN: | 90-277-1573-4 |
