×


 x 

Shopping cart
. Ed(S): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin - Proof Theory - 9789048155538 - V9789048155538
Stock image for illustration purposes only - book cover, edition or condition may vary.

Proof Theory

€ 127.78
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

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

Goodreads reviews for Proof Theory


Subscribe to our newsletter

News on special offers, signed editions & more!