Proof Theory
Subtitle: History and Philosophical Significance (Synthese Library)
Contributors: Vincent F. Hendricks (Editor); Stig Andur Pedersen (Editor); Klaus Frovin Jørgensen (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 1, 2000
Language: eng
Format: Hardcover
Number of pages: 256
ISBN-13: 9780792365440
Subjects: Mathematical logic; Philosophy; Mathematical And Symbolic Logic; Mathematics; Science/Mathematics; Proof theory; Logic; Mathematics-Logic; Philosophy / Logic; Congresses
First sentence: This is a survey of some of the principal developments in proof theory from its inception in the 1920s, at the hands of David Hubert, up to the 1960s.