![Methods of Cut-Elimination (eBook, PDF) Methods of Cut-Elimination (eBook, PDF)](https://bilder.buecher.de/produkte/37/37412/37412945m.jpg)
eBook, PDF
7. Januar 2011
Springer Netherland
Broschiertes Buch | 74,99 € | |
Gebundenes Buch | 87,99 € |
![Methods of Cut-Elimination Methods of Cut-Elimination](https://bilder.buecher.de/produkte/37/37203/37203761m.jpg)
Broschiertes Buch
2011
25. Februar 2013
Springer / Springer Netherlands
978-94-007-3497-5
![Methods of Cut-Elimination Methods of Cut-Elimination](https://bilder.buecher.de/produkte/31/31713/31713142m.jpg)
Gebundenes Buch
2011
17. Januar 2011
Springer / Springer Netherlands
80020859,978-94-007-0319-3
![Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning](https://bilder.buecher.de/produkte/23/23448/23448958m.jpg)
Broschiertes Buch
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
2002
2. Oktober 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00010-5
![Computer Science Logic Computer Science Logic](https://bilder.buecher.de/produkte/23/23149/23149115m.jpg)
Broschiertes Buch
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
2003
18. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40801-7
Ähnliche Artikel
![Mathematical Problems from Applied Logic I (eBook, PDF) Mathematical Problems from Applied Logic I (eBook, PDF)](https://bilder.buecher.de/produkte/37/37286/37286601m.jpg)
![Analysis and Synthesis of Logics (eBook, PDF) Analysis and Synthesis of Logics (eBook, PDF)](https://bilder.buecher.de/produkte/37/37358/37358072m.jpg)
![Dual Tableaux: Foundations, Methodology, Case Studies (eBook, PDF) Dual Tableaux: Foundations, Methodology, Case Studies (eBook, PDF)](https://bilder.buecher.de/produkte/37/37411/37411939m.jpg)
eBook, PDF
7. Januar 2012
Springer Netherland
![Mathematical Problems from Applied Logic II (eBook, PDF) Mathematical Problems from Applied Logic II (eBook, PDF)](https://bilder.buecher.de/produkte/37/37286/37286956m.jpg)
![Ernst Zermelo - Collected Works/Gesammelte Werke (eBook, PDF) Ernst Zermelo - Collected Works/Gesammelte Werke (eBook, PDF)](https://bilder.buecher.de/produkte/37/37760/37760702m.jpg)
160,49 €**
110,95 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
VersandkostenfreieBook, PDF
20. Januar 2010
Springer Berlin
![The Life and Work of Leon Henkin (eBook, PDF) The Life and Work of Leon Henkin (eBook, PDF)](https://bilder.buecher.de/produkte/43/43791/43791198m.jpg)
eBook, PDF
23. Oktober 2014
Springer International Publishing
![Institution-independent Model Theory (eBook, PDF) Institution-independent Model Theory (eBook, PDF)](https://bilder.buecher.de/produkte/37/37397/37397863m.jpg)
Statt 106,99 €**
96,29 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei![Perspectives in Computational Complexity (eBook, PDF) Perspectives in Computational Complexity (eBook, PDF)](https://bilder.buecher.de/produkte/43/43792/43792786m.jpg)
eBook, PDF
16. Juli 2014
Springer International Publishing
![The Legacy of Kurt Schütte (eBook, PDF) The Legacy of Kurt Schütte (eBook, PDF)](https://bilder.buecher.de/produkte/59/59969/59969988m.jpg)
![Gentzen's Centenary (eBook, PDF) Gentzen's Centenary (eBook, PDF)](https://bilder.buecher.de/produkte/44/44613/44613300m.jpg)
Ähnlichkeitssuche: Fact®Finder von OMIKRON