Cambridge University Press Degrees of Unsolvability: Local and Global Theory: 11 (Perspectives in Logic, Series Number 11)

Cambridge Recursion-Theoretic Hierarchies - Perspectives in Logic

Cambridge University Press

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Cambridge University Press

Cambridge Recursion Theory: 1 - Lecture Notes in Logic

Cambridge University Press

General Recursion Theory: An Axiomatic Approach: 10 (Perspectives in Logic, Series Number 10)

Cambridge University Press

Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)

Cambridge University Press

Computability Theory: An Introduction to Recursion Theory

Academic Press

Recursion Theory: Lecture Notes in Logic 1

CRC Press

Classical Recursion Theory, Volume II (Volume 143) (Studies in Logic and the Foundations of Mathematics, Volume 143)

North Holland

Cambridge Ordinal Definability and Recursion Theory Book

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

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

Cambridge University Press

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)

Cambridge University Press

Computability: An Introduction to Recursive Function Theory

Cambridge University Press

Set Theory, Logic and their Limitations

Cambridge University Press

Aspects of Incompleteness: 10 (Lecture Notes in Logic, Series Number 10)

Cambridge University Press

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

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

CRC Press

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory: 47 (Lecture Notes in Logic, Series Number 47)

Cambridge University Press

A Hierarchy of Turing Degrees - Princeton University Press

Princeton University Press

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Elsevier

Computability

Springer

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

Chapman and Hall/CRC

Springer - Logical Number Theory I: An Introduction

Springer