| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Algebra, Logic, Set Theory: Festscrift Fur Ulrich Felgner Zum 65. Geburtstag | Hardcover | | 978-1-904987-28-4 | 2007 | Benedikt Loewe |
| Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III" | " | | 978-1-4020-2775-8 | 2005 | Boris Piwinger · Thoralf Räsch |
| Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings | Taschenbuch | | 978-3-540-73000-2 | 2007 | Barry S. Cooper · Andrea Sorbi |
| Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 | " | | 978-3-319-81053-9 | 2018 | Shier Ju · Thomas Müller · Yun Xie |
| Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 | Gebunden | | 978-3-319-31500-3 | 2016 | Shier Ju · Thomas Müller · Yun Xie |
| Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics | Paperback | | 978-90-481-6233-8 | 2010 | Wolfgang Malzkorn · Thoralf Räsch |
| Games, Scales and Suslin Cardinals: The Cabal Seminar, Volume I: Cabal Seminar v. 1 | Hardcover | | 978-0-521-89951-2 | 2008 | Alexander S. Kechris · John R. Steel |
| How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings | Taschenbuch | | 978-3-642-30869-7 | 2012 | Barry S. Cooper · Anuj Dawar |
| Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers | " | | 978-3-642-03091-8 | 2010 | Margaret Archibald · Vasco Brattka · Valentin Goranko |
| Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London | Paperback | | 978-90-5356-356-4 | 2008 | Johan van Benthem · Dov Gabbay |
| Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings ... Notes in Computer Science , Band 3988) | Taschenbuch | | 978-3-540-35466-6 | 2008 | Arnold Beckmann · John V. Tucker · Ulrich Berger |
| Logic and the Foundations of Game and Decision Theory - LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised ... Notes in Computer Science, Band 6006) | " | | 978-3-642-15163-7 | 2010 | Giacomo Bonanno · Wiebe van der Hoek |
| Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings | " | | 978-3-540-69405-2 | 2008 | Arnold Beckmann · Costas Dimitracopoulos |
| Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, ... Computer Science and General Issues) | " | | 978-3-642-03072-7 | 2010 | Klaus Ambos-Spies · Wolfgang Merkle |
| Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings | " | | 978-3-642-21874-3 | 2011 | Dag Normann · Ivan Soskov · Alexandra Soskova |
| New Computational Paradigms: Changing Conceptions of What is Computable | Hardcover | | 978-0-387-36033-1 | 2007 | S.B. Cooper · Andrea Sorbi |
| New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings | Taschenbuch | | 978-3-540-26179-7 | 2008 | Barry S. Cooper |
| Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings | " | | 978-3-642-13961-1 | 2010 | Fernando Ferreira · Elvira Mayordomo · Luís Mendes Gomes |
| The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, ... Notes in Computer Science, Band 7921) | " | | 978-3-642-39052-4 | 2013 | Paola Bonizzoni · Vasco Brattka |
| Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II: 2 | Hardcover | | 978-0-521-76203-8 | 2011 | Alexander S. Kechris · John R. Steel |