Proof methods for modal and intuitionistic logics
| Auteur principal: | |
|---|---|
| Type de support: | Imprimé Livre |
| Langue: | Anglais |
| Service de livraison Subito: | Commander maintenant. |
| Vérifier la disponibilité: | HBZ Gateway |
| WorldCat: | WorldCat |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Publié: |
Dordrecht [u.a.]
Reidel
1983
|
| Dans: |
Synthese <Dordrecht> / Library (169)
Année: 1983 |
| Collection/Revue: | Synthese <Dordrecht> / Library
169 |
| Sujets / Chaînes de mots-clés standardisés: | B
Logique modale
/ Preuve
B Logique intuitionniste / Preuve B Logique modale / Démonstration automatique de théorèmes |
| Sujets non-standardisés: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
| Accès en ligne: |
Couverture Table des matières (Maison d'édition) |
| Description: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
|---|---|
| Description matérielle: | VIII, 555 S., graph. Darst., 23 cm |
| ISBN: | 9027715734 |