World Scientific Publishing Company Mathematical Logic In The 20th Century

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

Mathematical Logic and Computation

Fundamentals of Mathematical Logic

CRC Press

Logic Colloquium '02: Lecture Notes in Logic 27

A K Peters/CRC Press

Logic, Logic, and Logic

Harvard University Press

Logic and Its Applications (Contemporary Mathematics)

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

A K Peters/CRC Press

Logic Colloquium '03: Lecture Notes in Logic 24

A K Peters/CRC Press

Classical Mathematical Logic – The Semantic Foundations of Logic

Princeton University Press

Logic Colloquium '99: Lecture Notes in Logic 17

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

Mathematical Logic

Taylor & Francis

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

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

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

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

Mathematical Logic with Special Reference to the Natural Numbers

Cambridge University Press

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

Cambridge University Press

Proceedings Of The 13th Asian Logic Conference: 13th Asian Logic Conference (Guangzhou, China, 16 - 20 September 2013)

World Scientific Publishing Company

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

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