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)
Bernhard Gramlich - Frontiers of Combining Systems
Bernhard Gramlich Frontiers of Combining Systems English 12.09.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Alfred Tarski - Collected Papers
Alfred Tarski Collected Papers English 04.01.2019 Mixed media product Fr. 357.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
'Iu I. Manin, Yu Manin, Yu I Manin, Yu I. Manin, Yu. I. Manin, Yuri I. Manin... - A Course in Mathematical Logic for Mathe
'Iu I. Manin, Yu Manin, Yu I Manin, Yu I. Manin, Yu. I. Manin, Yuri I. Manin... A Course in Mathematical Logic for Mathe English 24.11.2009 Hardback Fr. 84.00 6-7 weeks
Anjolina de Oliveira, Anjolina G. de Oliveira, Valeria de Paiva, Ru de Queiroz, Ruy De Queiroz, Daniel Leivant... - Logic, Language, Information, and Computation
Anjolina de Oliveira, Anjolina G. de Oliveira, Valeria de Paiva, Ru de Queiroz, Ruy De Queiroz, Daniel Leivant... Logic, Language, Information, and Computation English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Frédéric Mynard - An Introduction to the Language of Mathematics
Frédéric Mynard An Introduction to the Language of Mathematics English 31.01.2019 Hardback Fr. 70.00 6-7 weeks
Iek Moerdijk, Ieke Moerdijk, Jaap van Oosten, Jaap van Oosten - Sets, Models and Proofs
Iek Moerdijk, Ieke Moerdijk, Jaap van Oosten, Jaap van Oosten Sets, Models and Proofs English 01.03.2019 Paperback / Softback Fr. 47.90 6-7 weeks
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
Helmu Schwichtenberg, Helmut Schwichtenberg, Steinbrüggen, Steinbrüggen, Ralf Steinbrüggen - Proof and System-Reliability
Helmu Schwichtenberg, Helmut Schwichtenberg, Steinbrüggen, Steinbrüggen, Ralf Steinbrüggen Proof and System-Reliability English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Bern Reusch, Bernd Reusch, Temme, Temme, Karl-Heinz Temme - Computational Intelligence in Theory and Practice
Bern Reusch, Bernd Reusch, Temme, Temme, Karl-Heinz Temme Computational Intelligence in Theory and Practice English 24.01.2001 Paperback / Softback Fr. 135.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
Fariba Sadri, Satoh, Ken Satoh - Computational Logic in Multi-Agent Systems
Fariba Sadri, Satoh, Ken Satoh Computational Logic in Multi-Agent Systems English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Marti Giese, Martin Giese, Waaler, Waaler, Arild Waaler - Automated Reasoning with Analytic Tableaux and Related Methods
Marti Giese, Martin Giese, Waaler, Waaler, Arild Waaler Automated Reasoning with Analytic Tableaux and Related Methods English 28.05.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Yu I Manin, Yu. I. Manin, Yuri I. Manin, B. Zilber, Neal Koblitz - A Course in Mathematical Logic for Mathematicians
Yu I Manin, Yu. I. Manin, Yuri I. Manin, B. Zilber, Neal Koblitz A Course in Mathematical Logic for Mathematicians English 01.01.2014 Paperback / Softback Fr. 91.00 6-7 weeks
Alfred Tarski - Collected Papers
Alfred Tarski Collected Papers English 01.01.2019 Hardback Fr. 216.00 6-7 weeks
Alfred Tarski - Collected Papers
Alfred Tarski Collected Papers English 01.01.2019 Hardback Fr. 262.00 6-7 weeks