Loading…
Hilbert's programs and beyond /
David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigation...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
New York :
Oxford University Press,
©2013.
|
| Series: | Logic and computation in philosophy.
|
| Subjects: | |
| Online Access: | Texto completo |