Stock image for illustration purposes only - book cover, edition or condition may vary.
Proof Theory
. Ed(S): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin
€ 119.13
FREE Delivery in Ireland
Description for Proof Theory
Paperback. Editor(s): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin. Series: Synthese Library. Num Pages: 257 pages, biography. BIC Classification: HPL; PBC; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 421.
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of ... Read more
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
257
Condition
New
Series
Synthese Library
Number of Pages
257
Place of Publication
Dordrecht, Netherlands
ISBN
9789048155538
SKU
V9789048155538
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Proof Theory