Languages
Subject
Format
Availabity
Authors

Search result

Haimant Sarbadhikari, Haimanti Sarbadhikari, Shashi Mohan Srivastava - A Course on Basic Model Theory
Haimant Sarbadhikari, Haimanti Sarbadhikari, Shashi Mohan Srivastava A Course on Basic Model Theory English 30.09.2017 Hardback Fr. 103.00 2-3 weeks (title will be printed to order)
Enno Ohlebusch - Advanced Topics in Term Rewriting
Enno Ohlebusch Advanced Topics in Term Rewriting English 26.10.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Baclavski, Baclavski, Ken Baclavski, Kenneth Baclawski, Hai Kilov, Haim Kilov - Practical Foundations of Business System Specifications
Baclavski, Baclavski, Ken Baclavski, Kenneth Baclawski, Hai Kilov, Haim Kilov Practical Foundations of Business System Specifications English 07.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
Mark Atten, Mark van Atten, Mark van Atten - Brouwer meets Husserl
Mark Atten, Mark van Atten, Mark van Atten Brouwer meets Husserl English 18.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
Walte Carnielli, Walter Carnielli, Marcel Coniglio, Marcelo Coniglio, Dov M Gabbay, Dov M. Gabbay... - Analysis and Synthesis of Logics
Walte Carnielli, Walter Carnielli, Marcel Coniglio, Marcelo Coniglio, Dov M Gabbay, Dov M. Gabbay... Analysis and Synthesis of Logics English 18.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
David Makinson, Jace Malinowski, Jacek Malinowski, Heinrich Wansing - Towards Mathematical Philosophy
David Makinson, Jace Malinowski, Jacek Malinowski, Heinrich Wansing Towards Mathematical Philosophy English 21.12.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
Matthew Foreman, Kanamori, Akihiro Kanamori - Handbook of Set Theory
Matthew Foreman, Kanamori, Akihiro Kanamori Handbook of Set Theory English 23.08.2016 Paperback / Softback Fr. 1,005.00 1-2 weeks (title will be printed to order)
John Crossley, John N Crossley, John N. Crossley, John Newsome Crossley, Ima Poernomo, Iman Poernomo... - Adapting Proofs-as-Programs
John Crossley, John N Crossley, John N. Crossley, John Newsome Crossley, Ima Poernomo, Iman Poernomo... Adapting Proofs-as-Programs English 27.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
J. Czelakowski, Janusz Czelakowski - Protoalgebraic Logics
J. Czelakowski, Janusz Czelakowski Protoalgebraic Logics English 07.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
David J Pym, David J. Pym - The Semantics and Proof Theory of the Logic of Bunched Implications
David J Pym, David J. Pym The Semantics and Proof Theory of the Logic of Bunched Implications English 07.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
John-Jule Ch Meyer, John-Jules Ch Meyer, J. -J. Ch. Meyer, John-Jules Meyer, John-Jules Ch. Meyer, Treur... - Agent-Based Defeasible Control in Dynamic Environments
John-Jule Ch Meyer, John-Jules Ch Meyer, J. -J. Ch. Meyer, John-Jules Meyer, John-Jules Ch. Meyer, Treur... Agent-Based Defeasible Control in Dynamic Environments English 07.10.2010 Paperback / Softback Fr. 236.00 1-2 weeks (title will be printed to order)
Fred Aminzadeh, Leggett, Leggett, M. Leggett, Miles Leggett, Sandham... - Geophysical Applications of Artificial Neural Networks and Fuzzy Logic
Fred Aminzadeh, Leggett, Leggett, M. Leggett, Miles Leggett, Sandham... Geophysical Applications of Artificial Neural Networks and Fuzzy Logic English 07.10.2010 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Benedikt Löwe, Bori Piwinger, Boris Piwinger, Thoralf Räsch - Classical and New Paradigms of Computation and their Complexity Hierarchies
Benedikt Löwe, Bori Piwinger, Boris Piwinger, Thoralf Räsch Classical and New Paradigms of Computation and their Complexity Hierarchies English 20.10.2010 Paperback / Softback Fr. 236.00 1-2 weeks (title will be printed to order)
Hossa A Gabbar, Hossam A Gabbar, Hossam A. Gabbar - Modern Formal Methods and Applications
Hossa A Gabbar, Hossam A Gabbar, Hossam A. Gabbar Modern Formal Methods and Applications English 20.10.2010 Paperback / Softback Fr. 146.00 1-2 weeks (title will be printed to order)
Ondrej Majer, Ahti Pietarinen, Ahti-Veikk Pietarinen, Ahti-Veikko Pietarinen, Tero Tulenheimo - Games: Unifying Logic, Language, and Philosophy
Ondrej Majer, Ahti Pietarinen, Ahti-Veikk Pietarinen, Ahti-Veikko Pietarinen, Tero Tulenheimo Games: Unifying Logic, Language, and Philosophy English 10.02.2011 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
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. 89.00 1-2 weeks (title will be printed to order)
Dirk van Dalen, Dirk van Dalen - L.E.J. Brouwer : Topologist, Intuitionist, Philosopher
Dirk van Dalen, Dirk van Dalen L.E.J. Brouwer : Topologist, Intuitionist, Philosopher English 27.12.2012 Hardback Fr. 116.00 2-3 weeks (title will be printed to order)
Matthe Foreman, Matthew Foreman, Kanamori, Kanamori, Akihiro Kanamori - Handbook of Set Theory, 3 Teile
Matthe Foreman, Matthew Foreman, Kanamori, Kanamori, Akihiro Kanamori Handbook of Set Theory, 3 Teile English 24.01.2011 Hardback Fr. 1,005.00 2-3 weeks (title will be printed to order)
Steve Butler, Ronald G. Graham, Ronald L. Graham, Jaroslav Ne¿et¿il, Jarosla Nesetril, Jaroslav Nesetril... - The Mathematics of Paul Erdös II
Steve Butler, Ronald G. Graham, Ronald L. Graham, Jaroslav Ne¿et¿il, Jarosla Nesetril, Jaroslav Nesetril... The Mathematics of Paul Erdös II English 01.01.2015 Paperback / Softback Fr. 260.00 1-2 weeks (title will be printed to order)
Tit Andreescu, Titu Andreescu, Bogdan Enescu, Razvan Gelca - Mathematical Olympiad Challenges
Tit Andreescu, Titu Andreescu, Bogdan Enescu, Razvan Gelca Mathematical Olympiad Challenges English 11.02.2004 Paperback / Softback Fr. 83.00 1-2 weeks (title will be printed to order)