Harvard University Press Logic, Logic, and Logic

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

North Holland

Mathematical Logic In The 20th Century

World Scientific Publishing Company

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

Cambridge University Press

Mathematical Logic: An Introduction (De Gruyter Textbook)

Mathematical Logic and Computation

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 and Structure (Universitext)

Springer

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

Cambridge University Press

A First Journey through Logic (Student Mathematical Library)

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

A K Peters/CRC Press

Mathematical Logic with Special Reference to the Natural Numbers

Cambridge University Press

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

Mathematical Logic

Taylor & Francis

Fundamentals of Mathematical Logic

CRC Press

Logic and Philosophy: A Modern Introduction

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

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

Cambridge University Press

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Cambridge University Press

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

Cambridge University Press

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Cambridge University Press

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

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

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

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer