Springerbriefs in Philosophy Where Is the Gödel-Point Hiding: Gentzen s Consistency Proof of 1936 and His Representation of Constructive Ordinals (Paperback)

Springerbriefs in Philosophy Where Is the Gödel-Point Hiding: Gentzen s Consistency Proof of 1936 and His Representation of Constructive Ordinals (Paperback)

This book explains the first published consistency proof of PA. It contains the original Gentzen s proof but it uses modern terminology and examples to illustrate the essential notions. The author comments on Gentzen s steps which are supplemented...


Walmart

$70.24
Free Delivery

Go to store
Items per page