Advances in Proof Theory Contributor(s): Kahle, Reinhard (Editor), Strahm, Thomas (Editor), Studer, Thomas (Editor) |
|||
ISBN: 3319291963 ISBN-13: 9783319291963 Publisher: Birkhauser
Binding Type: Hardcover - See All Available Formats & Editions Published: May 2016 Click for more in this series: Progress in Computer Science and Applied Logic |
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" L (1.74 lbs) 425 pages |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |