This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.
| LoC Classification |
QA9.54 .T34 2013 |
| LoC Control Number |
2012030734 |
| Dewey |
511.3/6 |
| No. of Pages |
490 |
| Height x Width |
230.0
inch |
|
| Read It |
No |
| Store |
Amazon |
| Location |
B4 |
| Purchase Price |
$18.08 |
| Purchase Date |
3/28/2015 |
| Condition |
Mint |
| Links |
Library of Congress
|
|
|
