Lambda calculus with types

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

Effective mathematics of the uncountable

Published 2013

Proofs and computations

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

Subsystems of second order arithmetic

by Simpson, Stephen G.
Published 2009

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

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

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

Published 1999

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

Published 1999

Logic Colloquium 2007

Published 2010

Proceedings of the Second Scandinavian Logic Symposium

Published 1971

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic

by Dalen, D. van
Published 1982

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics

by Leblanc, Hugues
Published 1973