Journals Higher Education
Important OUP's Response to COVID-19 Learn more


  • 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 scope of the book; the intended readership; some notes about how the book relates to existing texts; an estimate of the intended length; a list of chapter headings; and, if possible, one or two draft chapters. Standard project proposal forms are available on request from the address below.

A. J. Macintyre, University of Edinburgh and D. Scott, Carnegie-Mellon University, USA

Show more
List | Grid
Cover for 9780198788294

Bolzano's Logical System


Ettore Casari

15 September 2016
Oxford Logic Guides

Cover for 9780199230761

Computability and Randomness


André Nies

29 January 2009
Oxford Logic Guides

Cover for 9780198538455

Features and Fluents

The Representation of Knowledge about Dynamical Systems, Volume 1


Erik Sandewall

05 January 1995
Oxford Logic Guides

Cover for 9780198533917

Foundations without Foundationalism

A Case for Second-Order Logic


Stewart Shapiro

19 September 1991
Oxford Logic Guides

Cover for 9780198538332

Labelled Deductive Systems

Volume 1


Dov M. Gabbay

05 September 1996
Oxford Logic Guides

Cover for 9780198567387

Simplicity Theory


Byunghan Kim

17 October 2013
Oxford Logic Guides

Cover for 9780198501275

Twenty Five Years of Constructive Type Theory


Giovanni Sambin, Jan M. Smith

15 October 1998
Oxford Logic Guides

List | Grid