Proof methods for modal and intuitionistic logics
Publicado en: | Synthese <Dordrecht> / Library |
---|---|
Autor principal: | |
Tipo de documento: | Print Libro |
Lenguaje: | Inglés |
Servicio de pedido Subito: | Pedir ahora. |
Verificar disponibilidad: | HBZ Gateway |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Publicado: |
Dordrecht [u.a.]
Reidel
1983
|
En: |
Synthese <Dordrecht> / Library (169)
|
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 Inhaltsverzeichnis (Verlag) |
Notas: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
---|---|
ISBN: | 9027715734 |