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

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 '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

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 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

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

A K Peters/CRC Press

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Cambridge University Press

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

Cambridge University Press

Logic Colloquium '99: Lecture Notes in Logic 17

A K Peters/CRC Press

Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy: 6 (Lecture Notes in Logic, Series Number 6)

Cambridge University Press

Cambridge Logic and Algebraic Structures in Quantum Computing

Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Cambridge University Press

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Springer

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

Cambridge University Press

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

Springer

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

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

Cambridge University Press

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

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

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

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

Springer

Aspects of Incompleteness: 10 (Lecture Notes in Logic, Series Number 10)

Cambridge University Press

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press