Tell your friends about this item:
Proof Theory: History and Philosophical Significance - Synthese Library Vincent F Hendricks 2000 edition
Proof Theory: History and Philosophical Significance - Synthese Library
Vincent F Hendricks
This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics.
257 pages, biography