Proof methods for modal and intuitionistic logics
| Publicado no: | Synthese <Dordrecht> / Library |
|---|---|
| Autor principal: | |
| Tipo de documento: | Print Livro |
| Idioma: | Inglês |
| Serviço de pedido Subito: | Pedir agora. |
| Verificar disponibilidade: | HBZ Gateway |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Publicado em: |
Dordrecht [u.a.]
Reidel
1983
|
| Em: |
Synthese <Dordrecht> / Library (169)
|
| Coletânea / Revista: | Synthese <Dordrecht> / Library
169 |
| (Cadeias de) Palavra- chave padrão: | B
Lógica modal
/ Prova
B Lógica intuicionista / Prova B Lógica modal / Demonstração automática de teoremas |
| Outras palavras-chave: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
| Acesso em linha: |
Capa Inhaltsverzeichnis (Verlag) |
| Descrição do item: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
|---|---|
| ISBN: | 9027715734 |