Benedikt Löwe - Böcker

New Computational Paradigms

Changing Conceptions of What is Computable

Wadge Degrees and Projective Ordinals

The Cabal Seminar, Volume II

Games, Scales and Suslin Cardinals

The Cabal Seminar, Volume I

Ordinal Definability and Recursion Theory

The Cabal Seminar, Volume III

Large Cardinals, Determinacy and Other Topics

The Cabal Seminar, Volume IV

Foundations of the Formal Sciences II

Applications of Mathematical Logic in Philosophy and Linguistics

Classical and New Paradigms of Computation and their Complexity Hierarchies

Papers of the conference "Foundations of the Formal Sciences III"

New Computational Paradigms

Changing Conceptions of What is Computable

Acts of the Progamme Sematics and Syntax

Infinity, Computability and Metamathematics

Science's Voice of Reflection

60 Jahre DVMLG

Algebra, Logic, Set Theory

Festscrift Fur Ulrich Felgner Zum 65. Geburtstag

Logic, Navya-Nyaya and Its Applications

Homge to Bimal Krishna Chakraborty

Infinite Games

PhiMSAMP

Philosophy of Mathematics. Sociological Aspects and Mathematical Practice

Cultures of Mathematics and Logic

Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012

Cultures of Mathematics and Logic

Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012

New Computational Paradigms

First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings

Logical Approaches to Computational Barriers

Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Logic and Theory of Algorithms

4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

Computation and Logic in the Real World

Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

Mathematical Theory and Computational Practice

5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings

Infinity in Logic and Computation

International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Programs, Proofs, Processes

6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Logic and the Foundations of Game and Decision Theory - LOFT 8

8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Models of Computation in Context

7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings

How the World Computes

Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings

Nature of Computation: Logic, Algorithms, Applications

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings