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

Series

  • Oxford Logic Guides

Type

Price

Product Type

Format

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 9780198536901

Arithmetic, Proof Theory, and Computational Complexity

£58.00

Peter Clote, Jan Krajícek

9780198536901
Hardback
06 May 1993
Oxford Logic Guides

Cover for 9780198788294

Bolzano's Logical System

£88.00

Ettore Casari

9780198788294
Hardback
15 September 2016
Oxford Logic Guides

Cover for 9780198537854

Cardinal Arithmetic

£205.00

Saharon Shelah

9780198537854
Hardback
17 November 1994
Oxford Logic Guides

Cover for 9780199230761

Computability and Randomness

£96.00

André Nies

9780199230761
Hardback
29 January 2009
Oxford Logic Guides

Cover for 9780198534501

Diagonalization and Self-Reference

£202.50

Raymond M. Smullyan

9780198534501
Hardback
01 September 1994
Oxford Logic Guides

Cover for 9780198538455

Features and Fluents

The Representation of Knowledge about Dynamical Systems, Volume 1

£88.00

Erik Sandewall

9780198538455
Hardback
05 January 1995
Oxford Logic Guides

Cover for 9780198533917

Foundations without Foundationalism

A Case for Second-Order Logic

£52.00

Stewart Shapiro

9780198533917
Hardback
19 September 1991
Oxford Logic Guides

Cover for 9780195046724

Gödel's Incompleteness Theorems

£205.00

Raymond M. Smullyan

9780195046724
Hardback
22 October 1992
Oxford Logic Guides

Cover for 9780198538332

Labelled Deductive Systems

Volume 1

£95.00

Dov M. Gabbay

9780198538332
Hardback
05 September 1996
Oxford Logic Guides

Cover for 9780198537793

Modal Logic

£210.00

Alexander Chagrov, Michael Zakharyaschev

9780198537793
Hardback
27 March 1997
Oxford Logic Guides

Cover for 9780198514770

Set Theory with a Universal Set

Exploring an Untyped Universe

Second Edition

£57.00

T. E. Forster

9780198514770
Hardback
24 August 1995
Oxford Logic Guides

Cover for 9780198567387

Simplicity Theory

£76.00

Byunghan Kim

9780198567387
Hardback
17 October 2013
Oxford Logic Guides

Cover for 9780198534259

Sketches of an Elephant: A Topos Theory Compendium

Volume 1

£240.00

Peter T. Johnstone

9780198534259
Hardback
12 September 2002
Oxford Logic Guides

Cover for 9780198524960

Sketches of an Elephant: A Topos Theory Compendium

2 Volume Set

£415.00

Peter T. Johnstone

9780198524960
Pack
12 September 2002
Oxford Logic Guides

Cover for 9780198515982

Sketches of an Elephant: A Topos Theory Compendium

Volume 2

£240.00

Peter T. Johnstone

9780198515982
Hardback
12 September 2002
Oxford Logic Guides

Cover for 9780198537694

Temporal Logic: Mathematical Foundations and Computational Aspects

Volume 1

£240.00

Dov M. Gabbay, Ian Hodkinson, Mark Reynolds

9780198537694
Hardback
21 July 1994
Oxford Logic Guides

Cover for 9780198537687

Temporal Logic: Mathematical Foundations and Computational Aspects

Volume 2

£240.00

Dov M Gabbay, M. Finger, M. Reynolds

9780198537687
Hardback
30 March 2000
Oxford Logic Guides

Cover for 9780198501275

Twenty Five Years of Constructive Type Theory

£80.00

Giovanni Sambin, Jan M. Smith

9780198501275
Hardback
15 October 1998
Oxford Logic Guides

List | Grid