| Advances in Proof Theory Contributor(s): Kahle, Reinhard (Editor), Strahm, Thomas (Editor), Studer, Thomas (Editor) |
|
 |
ISBN: 3319291963 ISBN-13: 9783319291963 Publisher: Birkhauser OUR PRICE: $104.49 Product Type: Hardcover - Other Formats Published: May 2016 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Mathematics | Applied |
| Dewey: 511.36 |
| Series: Progress in Computer Science and Applied Logic |
| Physical Information: 1" H x 6.14" W x 9.21" (1.74 lbs) 425 pages |