Proof methods for modal and intuitionistic logics
| Autore principale: | |
|---|---|
| Tipo di documento: | Stampa Libro |
| Lingua: | Inglese |
| Servizio "Subito": | Ordinare ora. |
| Verificare la disponibilità: | HBZ Gateway |
| WorldCat: | WorldCat |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Pubblicazione: |
Dordrecht [u.a.]
Reidel
1983
|
| In: |
Synthese <Dordrecht> / Library (169)
Anno: 1983 |
| Periodico/Rivista: | Synthese <Dordrecht> / Library
169 |
| (sequenze di) soggetti normati: | B
Logica modale
/ Prova
B Logica intuizionista / Prova B Logica modale / Dimostrazione automatica di teoremi |
| Altre parole chiave: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
| Accesso online: |
Copertina Table of Contents (Publisher) |
