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)

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

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

A K Peters/CRC Press

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

Springer

Logic Colloquium '02: Lecture Notes in Logic 27

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

Logic Colloquium '03: Lecture Notes in Logic 24

A K Peters/CRC Press

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

Springer

Mathematical Logic and Computation

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

Springer

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

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

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

Cambridge University Press

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

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

Mathematical Logic In The 20th Century

World Scientific Publishing Company

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

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

Cambridge University Press

Fundamentals of Mathematical Logic

CRC Press

Logic for Computer Science and Artificial Intelligence

Wiley

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

Springer

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Oxford University Press