Cambridge University Press Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004: 29 (Lecture Notes in Logic, Series Number 29)

Cambridge University Press

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Cambridge University Press

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Cambridge University Press

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

Logic Colloquium '90: ASL Summer Meeting in Helsinki: 2 (Lecture Notes in Logic, Series Number 2)

Cambridge University Press

Logic Colloquium '99: Lecture Notes in Logic 17

A K Peters/CRC Press

Logic Colloquium '02: Lecture Notes in Logic 27

A K Peters/CRC Press

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

A K Peters/CRC Press

Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996: 12 (Lecture Notes in Logic, Series Number 12)

Cambridge University Press

Cambridge Logic and Algebraic Structures in Quantum Computing

Cambridge University Press

Surveys in Combinatorics 2005: 327 (London Mathematical Society Lecture Note Series, Series Number 327)

Cambridge University Press

A General Algebraic Semantics for Sentential Logics: 7 (Lecture Notes in Logic, Series Number 7)

Cambridge University Press

Mathematical Logic: 37 (Graduate Texts in Mathematics, 37)

Springer

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, ... August 1995: 280 (Synthese Library, 280)

Springer

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Springer

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Springer

The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning

Cambridge University Press

Logic for Mathematicians

Cambridge University Press

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Cambridge University Press

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

Logic in Computer Science: Modelling and Reasoning about Systems