Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Alfred Tarski - Collected Papers

Alfred Tarski Collected Papers English 01.01.2019 Hardback Fr. 207.00 6-7 weeks

Davi A Reid, David A Reid, Michael De Villiers, Gila Hanna, David A. Reid - Proof Technology in Mathematics Research and Teaching

Davi A Reid, David A Reid, Michael De Villiers, Gila Hanna, David A. Reid Proof Technology in Mathematics Research and Teaching English 31.10.2019 Hardback Fr. 189.00 6-7 weeks

Gian Luca Pozzato, Gian Luca Pozzato, Uustalu, Tarmo Uustalu - Automated Reasoning with Analytic Tableaux and Related Methods

Gian Luca Pozzato, Gian Luca Pozzato, Uustalu, Tarmo Uustalu Automated Reasoning with Analytic Tableaux and Related Methods English 04.12.2025 Paperback / Softback Fr. 56.90 6-7 weeks

Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... - Automated Reasoning

Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... Automated Reasoning English 05.09.2024 Paperback / Softback Fr. 56.90 6-7 weeks

Artur Jez, Artur Jeż, Otop, Jan Otop - Fundamentals of Computation Theory

Artur Jez, Artur Jeż, Otop, Jan Otop Fundamentals of Computation Theory English 20.11.2025 Paperback / Softback Fr. 103.00 6-7 weeks

Antonsen, Roger Antonsen - Logical Methods: The Art of Thinking Abstractly and Mathematically

Antonsen, Roger Antonsen Logical Methods: The Art of Thinking Abstractly and Mathematically English 24.01.2021 Paperback / Softback Fr. 56.90 6-7 weeks

Martin Aher, Danie Hole, Daniel Hole, Emil Je¿ábek, Emil Jerábek, Emil Jeřábek... - Logic, Language, and Computation

Martin Aher, Danie Hole, Daniel Hole, Emil Je¿ábek, Emil Jerábek, Emil Jeřábek... Logic, Language, and Computation English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks

de Queiroz, Ruy De Queiroz, Dexter Kozen - Logic, Language, Information, and Computation

de Queiroz, Ruy De Queiroz, Dexter Kozen Logic, Language, Information, and Computation English 07.09.2025 Paperback / Softback Fr. 92.00 6-7 weeks

Arnold Beckmann, Florin Manea, Isabel Oitavem - Crossroads of Computability and Logic: Insights, Inspirations, and Innovations

Arnold Beckmann, Florin Manea, Isabel Oitavem Crossroads of Computability and Logic: Insights, Inspirations, and Innovations English 16.07.2025 Paperback / Softback Fr. 169.00 6-7 weeks

Ryo Hatano, Hiroakira Ono, Katsuhiko Sano - Exploring Negation, Modality and Proof

Ryo Hatano, Hiroakira Ono, Katsuhiko Sano Exploring Negation, Modality and Proof English Hardback Fr. 215.00 Will be released 04.02.2026

1
2