Thalia.de

Natural Deduction: A Proof-Theoretical Study

A Proof-Theoretical Study

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.
… weiterlesen
In den Warenkorb
Filialabholung

Versandkostenfrei

Bezahlung bei Abholung

Beschreibung

Produktdetails


Einband Taschenbuch
Seitenzahl 113
Erscheinungsdatum 01.02.2006
Sprache Englisch
ISBN 978-0-486-44655-4
Verlag Dover Publications
Maße (L/B/H) 195/152/7 mm
Gewicht 136
Buch (Taschenbuch, Englisch)
9,99
inkl. gesetzl. MwSt.
Versandfertig in 1 - 2 Wochen
Versandkostenfrei
In den Warenkorb
Filialabholung

Versandkostenfrei

Bezahlung bei Abholung

Kundenbewertungen


Es wurden noch keine Bewertungen geschrieben.

Wird oft zusammen gekauft

Natural Deduction: A Proof-Theoretical Study

Natural Deduction: A Proof-Theoretical Study

von Dag Prawitz

Buch (Taschenbuch, Englisch)
9,99
+
=
Wie einzigartig ist der Mensch?

Wie einzigartig ist der Mensch?

von Gerhard Roth

Buch (gebundene Ausgabe)
14,99
+
=

für

24,98

inkl. gesetzl. MwSt.

Alle kaufen