Proof methods for modal and intuitionistic logics
Pubblicato in: | Synthese <Dordrecht> / Library |
---|---|
Autore principale: | |
Tipo di documento: | Stampa Libro |
Lingua: | Inglese |
Servizio "Subito": | Ordinare ora. |
Verificare la disponibilità: | HBZ Gateway |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Pubblicazione: |
Dordrecht [u.a.]
Reidel
1983
|
In: |
Synthese <Dordrecht> / Library (169)
|
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 Inhaltsverzeichnis (Verlag) |
Descrizione del documento: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
---|---|
ISBN: | 9027715734 |