Search result

First-Order Modal Logic English 19.10.2024 Paperback / Softback Fr. 157.00 1-2 weeks (title will be printed to order)
First-Order Logic and Automated Theorem Proving English 14.11.2013 Paperback / Softback Fr. 116.00 1-2 weeks (title will be printed to order)
First-Order Modal Logic English 18.10.2023 Hardback Fr. 157.00 2-3 weeks (title will be printed to order)
Numbers English 02.06.2020 Paperback / Softback Fr. 37.10 2-3 weeks (title will be printed to order)
Raymond Smullyan on Self Reference English 28.02.2018 Hardback Fr. 146.00 2-3 weeks (title will be printed to order)
Selected Topics from Contemporary Logics English 06.10.2021 Paperback / Softback Fr. 62.30 2-3 weeks (title will be printed to order)
Proof Methods for Modal and Intuitionistic Logics English 18.10.2010 Paperback / Softback Fr. 238.00 1-2 weeks (title will be printed to order)
Incompletetude na Terra dos Conjuntos Portuguese 06.05.2013 Paperback / Softback Fr. 37.80 2-3 weeks (title will be printed to order)
Justification Logic English 30.06.2019 Hardback Fr. 190.00 1-3 weeks (not available at short notice)
Types, Tableaus, and Gödel's God English 01.02.2011 Hardback Fr. 176.40 3-5 weeks (title will be specially ordered)
First-Order Logic and Automated Theorem Proving English 25.07.2012 Paperback / Softback Sold out