Proof Theory : History and Philosophical Significance /

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 art...

Full description

Bibliographic Details

Main Author:	Hendricks, Vincent F.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Pedersen, Stig Andur, Jørgensen, Klaus Frovin
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2000.
Series:	Synthese library ; 292.
Subjects:	Philosophy (General) Logic. Science > Philosophy. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book