Journals Higher Education

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 9780198532835

Cantorian Set Theory and Limitation of Size

£110.00

Michael Hallett

9780198532835
Paperback
27 November 1986
Oxford Logic Guides

Cover for 9780199587360

Category Theory

Second Edition

£79.00

Steve Awodey

9780199587360
Hardback
17 June 2010
Oxford Logic Guides

Cover for 9780199237180

Category Theory

Second Edition

£36.99

Steve Awodey

9780199237180
Paperback
17 June 2010
Oxford Logic Guides

Cover for 9780199652600

Computability and Randomness

£28.99

André Nies

9780199652600
Paperback
29 March 2012
Oxford Logic Guides

Cover for 9780199230761

Computability and Randomness

£64.00

André Nies

9780199230761
Hardback
29 January 2009
Oxford Logic Guides

Cover for 9780198514732

Elementary Categories, Elementary Toposes

£75.00

Colin McLarty

9780198514732
Paperback
27 April 1995
Oxford Logic Guides

Cover for 9780198503811

Fibring Logics

£78.00

Dov M. Gabbay

9780198503811
Hardback
05 November 1998
Oxford Logic Guides

Cover for 9780198533917

Foundations without Foundationalism

A Case for Second-Order Logic

£120.00

Stewart Shapiro

9780198533917
Hardback
19 September 1991
Oxford Logic Guides

Cover for 9780198566519

From Sets and Types to Topology and Analysis

Towards practicable foundations for constructive mathematics

£125.00

Laura Crosilla, Peter Schuster

9780198566519
Hardback
06 October 2005
Oxford Logic Guides

Cover for 9780195046724

Gödel's Incompleteness Theorems

£155.00

Raymond M. Smullyan

9780195046724
Hardback
22 October 1992
Oxford Logic Guides

Cover for 9780198511748

Interpolation and Definability

Modal and Intuitionistic Logics

£130.00

Dov M. Gabbay, Larisa Maksimova

9780198511748
Hardback
12 May 2005
Oxford Logic Guides

Cover for 9780195044720

Introduction to Logic and to the Methodology of Deductive Sciences

Fourth Edition

£77.00

Alfred Tarski, Jan Tarski

9780195044720
Hardback
24 March 1994
Oxford Logic Guides

Cover for 9780195082326

Recursion Theory for Metamathematics

£58.00

Raymond M. Smullyan

9780195082326
Hardback
15 July 1993
Oxford Logic Guides

Cover for 9780198526339

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

£112.00

David J. Pym, Eike Ritter

9780198526339
Hardback
29 April 2004
Oxford Logic Guides

Cover for 9780199609161

Set Theory

Boolean-Valued Models and Independence Proofs

Third Edition

£26.99

John L. Bell

9780199609161
Paperback
05 May 2011
Oxford Logic Guides

Cover for 9780198567387

Simplicity Theory

£53.00

Byunghan Kim

9780198567387
Hardback
17 October 2013
Oxford Logic Guides

Cover for 9780198568278

The Structure of Models of Peano Arithmetic

£82.50

Roman Kossak, James Schmerl

9780198568278
Hardback
29 June 2006
Oxford Logic Guides

Cover for 9780198501275

Twenty Five Years of Constructive Type Theory

£56.00

Giovanni Sambin, Jan M. Smith

9780198501275
Hardback
15 October 1998
Oxford Logic Guides

List | Grid
Share: