Association for Symbolic Logic

18 published titles

Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973

(Contributor)

1 edition

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

(Contributor)

1 edition

Collected works

(Contributor)

3 editions

Collected works. Vol. 3, Unpublished essays and lectures

(Contributor)

1 edition

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

(Contributor)

1 edition

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

(Contributor)

1 edition

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

(Contributor)

1 edition

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

(Contributor)

1 edition

Games, scales, and Suslin cardinals

(Contributor)

1 edition

Subsystems of second order arithmetic

(Contributor)

1 edition

Logic Colloquium 2006

(Contributor)

1 edition

Logical foundations of proof complexity

(Contributor)

1 edition

Logic Colloquium 2007

(Contributor)

1 edition

A course in model theory

(Contributor)

1 edition

The Cabal Seminar. Volume II, Wadge degrees and projective ordinals

(Contributor)

1 edition

Proof and computations

(Contributor)

1 edition

Lambda calculus with types

(Contributor)

1 edition

Effective mathematics of the uncountable

(Contributor)

1 edition