New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings Cooper Barry S. Heftet / 2005 / Engelsk
Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" Löwe, Benedikt Innbundet / 2005 / Engelsk
New Computational Paradigms Changing Conceptions of What is Computable Cooper, S.B. Innbundet / 2007 / Engelsk
Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics Löwe, Benedikt Innbundet / 2003 / Engelsk
Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" Löwe, Benedikt Heftet / 2010 / Engelsk
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings Beckmann Arnold Heftet / 2008 / Engelsk
Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics Löwe, Benedikt Heftet / 2010 / Engelsk
New Computational Paradigms Changing Conceptions of What is Computable Cooper, S.B. Heftet / 2010 / Engelsk
Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings Bonizzoni Paola Heftet / 2013 / Engelsk
Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings Ambos-Spies Klaus Heftet / 2009 / Engelsk
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings Cooper Barry S. Heftet / 2007 / Engelsk
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings Cooper Barry S. Heftet / 2012 / Engelsk
Ordinal Definability and Recursion Theory The Cabal Seminar, Volume III Kechris, Alexander S. Innbundet / 2016 / Engelsk
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings Löwe, Benedikt Heftet / 2011 / Engelsk
Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers Bonanno Giacomo Heftet / 2010 / Engelsk
Cabal Seminar 4 Volume Hardback Set Volumes I–IV Kechris, Alexander S. Kombinasjonsprodukt / 2020 / Engelsk
Cultures of Mathematics and Logic Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 Ju Shier Heftet / 2018 / Engelsk
Large Cardinals, Determinacy and Other Topics The Cabal Seminar, Volume IV Kechris, Alexander S. Innbundet / 2020 / Engelsk
Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings Beckmann Arnold Heftet / 2006 / Engelsk
Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings Ferreira Fernando Heftet / 2010 / Engelsk
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers Archibald Margaret Heftet / 2009 / Engelsk
