Goal-Directed Proof Theory
153.15 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10210004
Beschreibung
1. Introduction. 2. Intuitionistic and Classical Logics. 3. Intermediate Logics. 4. Modal Logics of Strict Implication. 5. Substructural Logics. 6. Conclusions and Further Work. Bibliography. Index.
Eigenschaften
| Breite: | 160 |
| Gewicht: | 576 g |
| Höhe: | 240 |
| Seiten: | 268 |
| Sprachen: | Englisch |
| Autor: | Dov M. Gabbay, N. Olivetti |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Artikel vergleichen
Bestseller Kategorie
Angebote
Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.
Topseller
Topseller
- 56 %
- 56 %
- 55 %
Zuletzt angesehen
© 2021 Nova Online Media Retailing GmbH