Oxford Logic Guides – serie

Consequence Relations

An Introduction to the Lindenbaum-Tarski Method

Fragments of First-Order Logic

Introduction to Logic and to the Methodology of Deductive Sciences

Gödel's Incompleteness Theorems

Recursion Theory for Metamathematics

Twenty Five Years of Constructive Type Theory

Change, Choice and Inference

A study of Belief Revision and Nonmonotonic Reasoning

Fibring Logics

Elements of Intuitionism

Interpolation and Definability

Modal and Intuitionistic Logics

Elementary Categories, Elementary Toposes

Set Theory with a Universal Set

Exploring an Untyped Universe

Sketches of an Elephant: A Topos Theory Compendium

Volume 2

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

Algebraic Methods in Philosophical Logic

A Study of Logics

Models of Peano Arithmetic

Cantorian Set Theory and Limitation of Size

Foundations without Foundationalism

A Case for Second-Order Logic

Sketches of an Elephant: A Topos Theory Compendium

Volume 1

Relative Category Theory and Geometric Morphisms

A Logical Approach

Geometric Stability Theory

Groups of Finite Morley Rank

Diagonalization and Self-Reference

Arithmetic, Proof Theory, and Computational Complexity

Temporal Logic: Volume 2

Temporal Logic: Volume 1

Modal Logic

Cardinal Arithmetic