|
![]() |
|||
|
||||
OverviewThe 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. Full Product DetailsAuthor: Vincent F. Hendricks , Stig Andur Pedersen , Klaus Frovin JørgensenPublisher: Springer Imprint: Springer Edition: Softcover reprint of hardcover 1st ed. 2000 Volume: 292 Dimensions: Width: 15.50cm , Height: 1.40cm , Length: 23.50cm Weight: 0.454kg ISBN: 9789048155538ISBN 10: 9048155533 Pages: 257 Publication Date: 05 December 2010 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |