De Gruyter Logic, Computation, Hierarchies: 4 (Ontos Mathematical Logic, 4)

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

Springer

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

Cambridge University Press

Mathematical Logic and Computation

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

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

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

Springer

Logic Colloquium '02: Lecture Notes in Logic 27

A K Peters/CRC Press

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

Springer

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

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC 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

Mathematical Logic In The 20th Century

World Scientific Publishing Company

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Springer

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Springer

Mathematical Logic and Theoretical Computer Science: 106 (Lecture Notes in Pure and Applied Mathematics)

CRC Press

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Springer

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

Cambridge University Press

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

Cambridge University Press

Fundamentals of Mathematical Logic

CRC Press

Logic and Language (Cornerstones of Computing S)

Red Globe Press

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company