Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004

Published 2007

Effective mathematics of the uncountable

Published 2013

Proofs and computations

by Schwichtenberg, Helmut, Wainer, S. S.
Published 2012

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005

Published 2007

Logic Colloquium 2007

Published 2010

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Published 1999

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Published 1999

Subsystems of second order arithmetic

by Simpson, Stephen G.
Published 2009

Lambda calculus with types

by Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio
Published 2013