Search result

Programming Multi-Agent Systems English 23.02.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Theorem Proving in Higher Order Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gottlob Frege German 11.10.2025 Hardback Fr. 45.50 6-7 weeks
Krister Segerberg on Logic of Actions English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
Neighborhood Semantics for Modal Logic English 01.01.2017 Paperback / Softback Fr. 56.90 6-7 weeks
Dag Prawitz on Proofs and Meaning English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
Dag Prawitz on Proofs and Meaning English 01.01.2014 Hardback Fr. 135.00 6-7 weeks