Goal-Directed Proof Theory
(Sprache: Englisch)
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
165.80 €
Produktdetails
Produktinformationen zu „Goal-Directed Proof Theory “
Inhaltsverzeichnis zu „Goal-Directed Proof Theory “
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.
Bibliographische Angaben
- Autoren: Dov M. Gabbay , N. Olivetti
- 2010, Softcover reprint of the original 1st ed. 2000., 268 Seiten, Maße: 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer Netherlands
- ISBN-10: 9048155266
- ISBN-13: 9789048155262
Sprache:
Englisch
Kommentar zu "Goal-Directed Proof Theory"
0 Gebrauchte Artikel zu „Goal-Directed Proof Theory“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Goal-Directed Proof Theory".
Kommentar verfassen