Journals Higher Education


  • Oxford Logic Guides



Product Type


Oxford Logic Guides RSS

The Oxford Logic Guides is an outstanding series for logicians, mathematicians, computer scientists and philosophers which fosters in-depth knowledge and interdisciplinary studies alike. It includes texts and monographs providing material for the study of logic at an intermediate level along with authoritative reference works.

Texts should be suitable for graduate or post-graduate studies. They bridge, ideally, the gap between elementary and advanced studies and may include a presentation of new results. The ideal topic of a monograph is one that has been at the forefront of research interest for several years and where the author can provide a polished distillation of essential ideas. The topic, exposition, and style of each book should be such that there is individual as well as library interest.

Oxford University Press welcomes enquiries from prospective authors. We ask authors to send in proposals in detailed form which should include the following: a statement of the objectives and

Series Editor(s):

A. Macintyre, D. M. Gabbay, and D. Scott

Show more
List | Grid
Cover for 9780199237180

Category Theory

Second Edition


Steve Awodey

13 August 2010
Oxford Logic Guides

Cover for 9780199609161

Set Theory

Boolean-Valued Models and Independence Proofs

Revised second edition


John L. Bell

17 December 2011
Oxford Logic Guides

Cover for 9780198514770

Set Theory with a Universal Set

Exploring an Untyped Universe

Second Edition


T. E. Forster

05 October 1995
Oxford Logic Guides

Cover for 9780198567387

Simplicity Theory


Byunghan Kim

24 December 2013
Oxford Logic Guides

Cover for 9780198501275

Twenty-Five Years of Constructive Type Theory

Proceedings of a Congress held in Venice, October 1995


Giovanni Sambin and Jan M. Smith

10 December 1998
Oxford Logic Guides

List | Grid
Standing Orders Available