511 résultats
2007Q-0486454657Dover Publications 2007-05-11. Paperback. New. New. In shrink wrap. Looks like an interesting title! Dover Publications paperback
20161240189324Prestel Publishing 2016. Hardcover. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More Spend Less.SIGNED by the author. Shelf and handling wear to cover and binding with general signs of previous use. Signed by author on front free end page. Moderate loosening to binding; pages are clean and unmarked. Secure packaging for safe delivery.Dust jacket quality is not guaranteed. Prestel Publishing hardcover
20161243262262Prestel Publishing 2016. Hardcover. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More Spend Less.SIGNED by the author. Shelf and handling wear to cover and binding with general signs of previous use. Secure packaging for safe delivery.Dust jacket quality is not guaranteed. Prestel Publishing hardcover
20161866569502Prestel Publishing 2016. Hardcover. Very Good. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More Spend Less.Dust jacket missing. Minor shelf and handling wear overall a clean solid copy with minimal signs of use. Binding is tight and structurally sound. Clean interior pages. Secure packaging for safe delivery.Dust jacket quality is not guaranteed. Prestel Publishing hardcover
20161256882216Prestel Publishing 2016. Hardcover. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More Spend Less.SIGNED by the author. Shelf and handling wear to cover and binding with general signs of previous use. Signed by author on half title page. Minor loosening to binding. Secure packaging for safe delivery.Dust jacket quality is not guaranteed. Prestel Publishing hardcover
2016119784Prestel. New. 2016. Hardcover. 3791382136 . FREE UPGRADE to Courier/Priority Shipping Upon Request - IN STOCK AND IMMEDIATELY AVAILABLE FOR SHIPMENT - Flawless copy brand new pristine never opened -- with a bonus offer-- . Prestel hardcover
2010x-3642007058Springer Verlag 2010. Hardcover. New. 1st edition. 172 pages. 9.25x6.25x0.75 inches. Springer Verlag hardcover
2012x-3642262023Springer Verlag 2012. Paperback. New. 2010 edition. 184 pages. 9.20x6.10x0.44 inches. Springer Verlag paperback
200430795London, The Collector's Library 2004.
2004Q-076076266XBarnes & Noble 2004-01-01. Hardcover. New. New. In shrink wrap. Looks like an interesting title! Barnes & Noble hardcover
2006DADAX0806137762University of Oklahoma Press 2006-02-13. Illustrated. paperback. New. 5.00x1.10x7.00. Buy with confidence. Excellent Customer Service & Return policy. University of Oklahoma Press paperback
2006x-0806137762Univ of Oklahoma Pr 2006. Paperback. New. 510 pages. 7.25x4.75x1.25 inches. Univ of Oklahoma Pr paperback
2004Q-1904919103Crw Pub Ltd 2004-08-31. Hardcover. New. In shrink wrap. Looks like an interesting title! Crw Pub Ltd hardcover
2009Q-019955255XOxford University Press 2009-04-15. Paperback. New. In shrink wrap. Looks like an interesting title! Oxford University Press paperback
2001Q-0375758402Modern Library 2001-09-11. Paperback. New. In shrink wrap. Looks like an interesting title! Modern Library paperback
200195931Freiburg i. Br., Alber 2001. 410 Seiten. Hardcover/Pappeinband
200196223Freiburg i. Br., Alber 2001. 410 Seiten. Hardcover/Pappeinband
20046043538Hamburg, Meiner 2004. 8°. ca. 3000 pp. Original Leinwand. Grünes Leinen. Tadellos. Druckfrisch.
201767391Springer 2017. Hardcover. Very Good. 24 x 16.5 cm. Octavo. 315pp. Bound in glossy yellow boards. Top corner is bumped. Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Gödel's incompleteness results especially the second one about the unprovability of consistency of elementary arithmetic. After these successes Gentzen dedicated the rest of his short life to the main problem of Hilbert's proof theory the question of the consistency of analysis. He was arrested in the summer of 1945 with other professors of the German University of Prague and died soon afterward of starvation in a prison cell. Attempts at locating his lost manuscripts failed at the time but several decades later two slim folders of shorthand notes were found. In this volume Jan von Plato gives an overview of Gentzen's life and scientific achievements based on detailed archival and systematic studies and essential for placing the translations of shorthand manuscripts that follow in the right setting. The materials in this book are singular in the way they show the birth and development of Gentzen's central ideas and results sometimes in a well-developed form and other times as flashes into the anatomy of the workings of a unique mind. Springer hardcover
2017x-3319421190Springer Verlag 2017. Hardcover. New. 328 pages. 9.50x6.50x1.25 inches. Springer Verlag hardcover
2003SONG0199248494OXFORD UNIVERSITY PRESS 2003-05-08. hardcover. Used: Good. 7.52x4.78x1.08. Buy with confidence. Excellent Customer Service & Return policy. OXFORD UNIVERSITY PRESS hardcover
2003DADAX0199248494OXFORD UNIVERSITY PRESS 2003-05-08. hardcover. New. 7.52x4.78x1.08. Buy with confidence. Excellent Customer Service & Return policy. OXFORD UNIVERSITY PRESS hardcover
2003Q-0199248494Oxford University Press 2003-05-08. Hardcover. New. New. In shrink wrap. Looks like an interesting title! Oxford University Press hardcover
20181-3337490492hansebooks 2018. Paperback. New. 404 pages. 8.50x5.94x1.06 inches. hansebooks paperback
2008Q-1411407156Spark Publishing 2008-01-01. Paperback. New. In shrink wrap. Looks like an interesting title! Spark Publishing paperback