About this title: The conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark, tracked the history of proof theory and its role in the analysis of the philosophical foundations of mathematics since Hilbert's original program to its modern, highly articulated form. This volume is a collection of papers presented at the conference. It can be read with profit and pleasure by philosophers, mathematicians, computer scientists and scholars with no professional training in proof theory, provided they have a general knowledge of foundational issues.
Note: This is a general synopsis. Each listing is described below.
Binding: Hardcover
Publisher: Springer
Date Published: 2000
ISBN-13:9780792365440ISBN:0792365445
Description: New. BRAND NEW and ready for dispatch. Delivery normally within 4/7 days. Our reputation is built on our Speedy Delivery Service and our Customer Service Team. read more
Binding: Hardback
Publisher: KLUWER ACADEMIC PUBLISHERS GROUP Country = NETHERLANDS
Date Published: 2000
ISBN-13:9780792365440ISBN:0792365445
Description: BRAND NEW HARDBACK. 256 pages. This book is printed on demand (allow 1-2 weeks for printing) (256 pages) contains papers presented at the conference on proof theory: history and philosophical significance held in 1997 at the university of roskilde, denmark. this volume is suitable for philosophers, mathematicians, computer scientists and scholars who have no professional training in proof theory but have a general knowledge of foundational issues. index (Hardback) read more
Binding: Hardback
Publisher: KLUWER ACADEMIC PUBL
Date Published: 2001
ISBN-13:9780792365440ISBN:0792365445
Description: New. The conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark, tracked the history of proof theory and its role in the analysis of the philosophical foundations of mathematics since Hilbert... read more
Description: New. PLEASE NOTE: All books are promptly imported from the UK using DHL or Royal Mail international mail WITH TRACKING NUMBER. Print on demand title. D elivery is typically 8-12 working days. Please do not select expedited shipping. Professional and reliable bookseller (est.1987). read more
Description: New. PLEASE NOTE: All books are promptly shipped from our UK warehouse using Royal Mail or DHL. International Priority mail for non-UK deliveries. Print on demand title. Delivery is typically 7-10 working days for UK delivery. Heavier or more expensive books are shipped with a TRACKING NUMBER. Professional and reliable bookseller (est.1987). read more
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.