Languages
Subject
Format
Availabity
Authors

Search result

Junk, Michae Junk, Michael Junk, Jan-Hendrik Treude - Beweisen lernen Schritt für Schritt
Junk, Michae Junk, Michael Junk, Jan-Hendrik Treude Beweisen lernen Schritt für Schritt German 07.10.2020 Paperback / Softback Fr. 58.50 1-3 working days
Gerwig, Mario Gerwig - Der Satz des Pythagoras in 365 Beweisen
Gerwig, Mario Gerwig Der Satz des Pythagoras in 365 Beweisen German 04.08.2021 Paperback / Softback Fr. 59.50 4-7 working days
Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems English 20.03.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Alfred Tarski - Collected Papers
Alfred Tarski Collected Papers English 01.01.2019 Hardback Fr. 207.00 6-7 weeks
Saloua Chatti - Arabic Logic from al-Farabi to Averroes
Saloua Chatti Arabic Logic from al-Farabi to Averroes English 01.01.2019 Paperback / Softback Fr. 124.00 6-7 weeks
Nicola Olivetti - Automated Reasoning with Analytic Tableaux and Related Methods
Nicola Olivetti Automated Reasoning with Analytic Tableaux and Related Methods English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Ulrich Kohlenbach - Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Ulrich Kohlenbach Applied Proof Theory: Proof Interpretations and their Use in Mathematics English 14.07.2008 Hardback Fr. 169.00 6-7 weeks
Alfred Tarski - Collected Papers
Alfred Tarski Collected Papers English 01.01.2019 Hardback Fr. 261.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
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
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.50 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 Paperback / Softback Fr. 91.00 Will be released 26.08.2025
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 Paperback / Softback Fr. 168.00 Will be released 16.07.2025