A K Peters/CRC Press Logic Colloquium '02: Lecture Notes in Logic 27

Logic Colloquium '99: Lecture Notes in Logic 17

A K Peters/CRC Press

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

A K Peters/CRC Press

Intensionality: Lecture Notes in Logic 22

CRC 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

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

Cambridge University Press

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Cambridge University Press

Fundamentals of Mathematical Logic

CRC Press

Recursion Theory: Lecture Notes in Logic 1

CRC Press

Reverse Mathematics 2001: Lecture Notes in Logic 21

CRC Press

CRC Press - Mathematical Logic and Theoretical Computer Science

CRC Press

Nonstandard Methods and Applications in Mathematics: Lecture Notes in Logic 25

CRC Press

A Mathematical Introduction To Logic

Model Theory of Fields: Lecture Notes in Logic 5, Second Edition

CRC Press

Mathematical Logic and Theoretical Computer Science: 106 (Lecture Notes in Pure and Applied Mathematics)

CRC Press

CRC Press Models, Algebras, and Proofs - Math Logic Book

CRC Press

Mathematical Logic

Taylor & Francis

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Springer

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 '90: ASL Summer Meeting in Helsinki: 2 (Lecture Notes in Logic, Series Number 2)

Cambridge University Press

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Wiley

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

CRC Press

Lectures on Mathematical Logic, Volume II: Calculi for Derivations and Deductions: 02

CRC Press

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15

A K Peters/CRC Press