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

Mathematical Logic with Special Reference to the Natural Numbers

Cambridge University Press

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

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

Cambridge University Press

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

Mathematical Logic

Taylor & Francis

A First Journey through Logic (Student Mathematical Library)

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

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 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 '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 '02: Lecture Notes in Logic 27

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

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, Logic, and Logic

Harvard University Press

The Two-Valued Iterative Systems of Mathematical Logic. (AM-5) (Annals of Mathematics Studies)

Princeton University Press

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

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

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

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

Logic for Computer Science and Artificial Intelligence

Wiley

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

Springer

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

A K Peters/CRC Press

Logic Colloquium '99: Lecture Notes in Logic 17

A K Peters/CRC Press