|
Login | Sign Up | Settings | Sell Books | Wish List |
Searching ... |
0 % | |||
Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics (Trends in Logic) (Pt. 2) by Wolfgang Malzkorn, Benedikt Löwe, Thoralf Räsch, Benedikt Lã We, Joseph Agassi Hardcover, 301 Pages, Published 2003 by Springer ISBN-13: 978-1-4020-1154-2, ISBN: 1-4020-1154-7 |
60 Jahre DVMLG by Löwe, Benedikt, Sarikaya, Deniz Paperback, 258 Pages, Published 2022 by College Publications ISBN-13: 978-1-84890-411-8, ISBN: 1-84890-411-8 |
Wadge Degrees and Projective Ordinals(1st Edition) The Cabal Seminar, Volume II (Lecture Notes in Logic) by Alexander S. Kechris, Benedikt Löwe, John R. Steel, Kechris/Lowe/Steel Hardcover, 548 Pages, Published 2012 by Cambridge University Press ISBN-13: 978-0-521-76203-8, ISBN: 0-521-76203-0 |
New Computational Paradigms(Reprint) Changing Conceptions of What is Computable by Andrea Sorbi, Professor S. Barry Cooper, Benedikt Löwe, S. Barry Cooper Paperback, 560 Pages, Published 2010 by Springer ISBN-13: 978-1-4419-2263-2, ISBN: 1-4419-2263-6 |
Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" (Trends in Logic) by Boris Piwinger, Benedikt Löwe, Thoralf Räsch, Benedikt Lc6we, Thoralf Rc$Sch Hardcover, 260 Pages, Published 2005 by Springer ISBN-13: 978-1-4020-2775-8, ISBN: 1-4020-2775-3 |
Robot Evolution(1st Edition) The Development of Anthrobotics by Mark E. Rosheim Hardcover, 448 Pages, Published 1994 by Wiley-Interscience ISBN-13: 978-0-471-02622-8, ISBN: 0-471-02622-0 |
The Cabal Seminar 4 Volume Hardback Set Volumes I-IV (4 Hardback Books) by Edited By Alexander S. Kechris, Benedikt Löwe, John R. Steel 4 Hardback Books, Published 2020 by Cambridge University Press ISBN-13: 978-1-108-92022-3, ISBN: 1-108-92022-5 |
Classical and New Paradigms of Computation and their Complexity Hierarchies(Reprint) Papers of the conference "Foundations of the Formal Sciences III" (Trends in Logic) by Boris Piwinger, Benedikt Löwe, Thoralf Räsch Paperback, 260 Pages, Published 2010 by Springer ISBN-13: 978-90-481-6718-0, ISBN: 90-481-6718-3 |
New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings (Lecture ... Computer Science and General Issues) by Barry S. Cooper, Leen Torenvliet, Benedikt Löwe Paperback, 578 Pages, Published 2005 by Springer ISBN-13: 978-3-540-26179-7, ISBN: 3-540-26179-6 |
Cultures of Mathematics and Logic(1st Edition) Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 (Trends in the History of Science) by Shier Ju, Yun Xie, Benedikt Löwe, Thomas Müller, Benedikt Loewe, Thomas Mueller Hardcover, 123 Pages, Published 2016 by Birkhäuser ISBN-13: 978-3-319-31500-3, ISBN: 3-319-31500-5 |
The Nature of Computation Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings (Lecture Notes in Computer Science) by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe Paperback, 464 Pages, Published 2013 by Springer ISBN-13: 978-3-642-39052-4, ISBN: 3-642-39052-8 |
Interactive Logic(2nd Edition) Selected Papers from the 7th Augustus de Morgan Workshop, London (Texts in Logic and Games) by Johan Van Benthem, Dov M. Gabbay, Benedikt Löwe, Amsterdam University Press Paperback, 362 Pages, Published 2008 by Amsterdam University Press ISBN-13: 978-90-5356-356-4, ISBN: 90-5356-356-3 |
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues) by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe, Kroger F., Benedikt We Paperback, 596 Pages, Published 2008 by Springer ISBN-13: 978-3-540-69405-2, ISBN: 3-540-69405-6 |
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture ... Computer Science and General Issues) by Dag Normann, Ivan Soskov, Benedikt Löwe, Alexandra Soskova Paperback, 319 Pages, Published 2011 by Springer ISBN-13: 978-3-642-21874-3, ISBN: 3-642-21874-1 |
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings (Lecture ... Computer Science and General Issues) by S.Barry Cooper, Andrea Sorbi, Benedikt Löwe, Benedikt We Paperback, 826 Pages, Published 2007 by Springer ISBN-13: 978-3-540-73000-2, ISBN: 3-540-73000-1 |
Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings ... Computer Science and General Issues) by Arnold Beckmann, Ulrich Berger, John V. Tucker, Benedikt Löwe, Benedikt We, Tucker Beckmann Paperback, 608 Pages, Published 2008 by Springer ISBN-13: 978-3-540-35466-6, ISBN: 3-540-35466-2 |
Foundations of the Formal Sciences II(Reprint) Applications of Mathematical Logic in Philosophy and Linguistics (Trends in Logic) by Benedikt Löwe , Wolfgang Malzkorn , Thoralf Räsch Paperback, 302 Pages, Published 2010 by Springer ISBN-13: 978-90-481-6233-8, ISBN: 90-481-6233-5 |
Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science) by Fernando Ferreira , Elvira Mayordomo , Benedikt Löwe , Luís Mendes Gomes Paperback, 450 Pages, Published 2010 by Springer ISBN-13: 978-3-642-13961-1, ISBN: 3-642-13961-2 |
Edited By Alexander S. Kechris, Benedikt Löwe, John R. Steel