|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Advances in Proof Theory (Progress in Computer Science and Applied Logic) | Kahle, Reinhard | Hardcover | 3319291963 /
9783319291963 | 05/2016 | $104.49 |
|  | Advances in Proof Theory Softcover Repri Edition (Progress in Computer Science and Applied Logic) | Kahle, Reinhard | Paperback | 3319805134 /
9783319805139 | 05/2018 | $104.49 |
|  | Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the Eacsl, Coimbra, Portugal, September 7-11, 2009, P 2009 Edition (Lecture Notes in Computer Science) | Grädel, Erich | Paperback | 3642040268 /
9783642040269 | 08/2009 | $104.49 |
|  | Gentzen's Centenary: The Quest for Consistency 2015 Edition | Kahle, Reinhard | Paperback | 3319101021 /
9783319101026 | 11/2015 | $161.49 |
|  | Intensionality: Lecture Notes in Logic 22 (Lecture Notes in Logic) | Kahle, Reinhard | Paperback | 156881268X /
9781568812687 | 09/2005 | $61.37 |
|  | Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings 2001 Edition (Lecture Notes in Computer Science) | Kahle, Reinhard | Paperback | 354042752X /
9783540427520 | 09/2001 | $52.24 |
|
|
|