| Gentzen's Centenary: The Quest for Consistency 2015 Edition Contributor(s): Kahle, Reinhard (Editor), Rathjen, Michael (Editor) |
|
 |
ISBN: 3319101021 ISBN-13: 9783319101026 Publisher: Springer OUR PRICE: $161.49 Product Type: Paperback Published: November 2015 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Computer Science |
| Dewey: 511.36 |
| Physical Information: 1.16" H x 6.14" W x 9.21" (1.74 lbs) 561 pages |