Cambridge University Press Advances in Linear Logic: 222 (London Mathematical Society Lecture Note Series, Series Number 222)

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

Cambridge University Press

Mathematical Logic and Computation

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

Mathematical Logic: An Introduction (De Gruyter Textbook)

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

Cambridge University Press

Logic: An Introduction (Fundamentals of Philosophy)

Routledge

Routledge - An Introduction to Substructural Logics Book

Routledge

Mathematical Logic

Taylor & Francis

Mathematical Logic (Undergraduate Texts in Mathematics)

Springer

Introduction to Mathematical Logic (Princeton Mathematical Series, 17)

Princeton University Press

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

Cambridge University Press

A Mathematical Introduction To Logic

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Fundamentals of Mathematical Logic

CRC Press

Logic for Computer Science and Artificial Intelligence

Wiley

Mathematical Logic In The 20th Century

World Scientific Publishing Company

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

Cambridge University Press

An Introduction to Substructural Logics

Routledge

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

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

A K Peters/CRC Press

Introduction to Logic and Computer Design

McGraw-Hill Education

Logic for Mathematicians

Cambridge University Press

Logic and Philosophy: A Modern Introduction

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

Springer