Hilbert's programs and beyond / Wilfried Sieg.
Presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the radical transformation of mathematics in the 19th century and bring out his pivotal role in creating mathematicallogic and proof theory. They then analy...
Saved in:
Main Author: | |
---|---|
Language: | English |
Published: |
New York :
Oxford University Press,
[2013], ©2013.
|
Series: | Logic and computation in philosophy.
|
Subjects: | |
Physical Description: | xii, 439 pages : illustrations ; 25 cm. |
Format: | Book |
MSU Remote Storage
Call Number: |
QA8.4 .S545 2013
|
---|---|
QA8.4 .S545 2013 | Available Get this |