Proof Theory and Logical Complexity 
Subtitle: Volume I (Studies in Proof Theory)
Publisher: Elsevier Science Pub Co
Published: October 1, 1990
Language: eng
Format: Hardcover
Number of pages: 504
ISBN-13: 9780444987150
Subjects: Mathematical foundations; Mathematical And Symbolic Logic; Mathematics; Science/Mathematics; General; Logic
First sentence: For Hilbert and his school, mathematics must be analyzed as a purely meaningless activity, similar to a game, say the game of chess: mathematical formulas are strings of symbols constructed according to fixed formal rules, and the rules of logical inference are purely formal as well, permitting one to pass from a string of symbols to another.