Proof methods for modal and intuitionistic logics
| Autor principal: | |
|---|---|
| Tipo de documento: | Print Libro |
| Lenguaje: | Inglés |
| Servicio de pedido Subito: | Pedir ahora. |
| Verificar disponibilidad: | HBZ Gateway |
| WorldCat: | WorldCat |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Publicado: |
Dordrecht [u.a.]
Reidel
1983
|
| En: |
Synthese <Dordrecht> / Library (169)
Año: 1983 |
| Colección / Revista: | Synthese <Dordrecht> / Library
169 |
| (Cadenas de) Palabra clave estándar: | B
Lógica modal
/ Prueba
B Lógica intuicionista / Prueba B Lógica modal / Demonstración automática de teoremas |
| Otras palabras clave: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
| Acceso en línea: |
Portada Table of Contents (Publisher) |
| Notas: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
|---|---|
| Descripción Física: | VIII, 555 S., graph. Darst., 23 cm |
| ISBN: | 9027715734 |