Oxford University Press Volume 5. Algebraic and Logical Structures: Volume 5: Logic and Algebraic Methods (Handbook of Logic in Computer Science)

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

Springer

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 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

Mathematical Logic and Computation

Analysis and Logic: 262 (London Mathematical Society Lecture Note Series, Series Number 262)

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

Handbook of Practical Logic and Automated Reasoning

Cambridge University Press

Logic and Language (Cornerstones of Computing S)

Red Globe Press

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

Logic And Language Models For Computer Science (Third Edition)

Scientific Publishing

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

Cambridge University Press

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

Language, Proof and Logic 2e +CD: Second Edition

University of Chicago Press

Logic for Computer Science and Artificial Intelligence

Wiley

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

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

Handbook of Philosophical Logic: Volume 14

Springer

Mathematical Logic

Taylor & Francis

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

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

A K Peters/CRC Press

Fundamentals of Mathematical Logic

CRC Press

Mathematical Logic In The 20th Century

World Scientific Publishing Company

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Springer