Dag Prawitz über Beweise und Bedeutung, Hardcover von Wansing, Heinrich (EDT), Bran...
140,50 €
In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included.
Jetzt bei Ebay:
