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

Show more
Previous List | Grid
Cover for 9780198538332

Labelled Deductive Systems

$130.00

Dov M. Gabbay

9780198538332
Hardcover
14 November 1996
Oxford Logic Guides

Cover for 9780198537878

Many-Valued Logics

$120.00

Grzegorz Malinowski

9780198537878
Hardcover
27 January 1994
Oxford Logic Guides

Cover for 9780198537793

Modal Logic

$250.00

Alexander Chagrov and Michael Zakharyaschev

9780198537793
Hardcover
19 June 1997
Oxford Logic Guides

Cover for 9780198538516

Model Theory

$185.00

Maria Manzano

9780198538516
Hardcover
08 July 1999
Oxford Logic Guides

Cover for 9780195082326

Recursion Theory for Metamathematics

$160.00

Raymond M. Smullyan

9780195082326
Hardcover
28 January 1993
Oxford Logic Guides

Cover for 9780198526339

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

$180.00

David J. Pym and Eike Ritter

9780198526339
Hardcover
17 June 2004
Oxford Logic Guides

Cover for 9780199609161

Set Theory

Boolean-Valued Models and Independence Proofs

Revised second edition

$55.00

John L. Bell

9780199609161
Paperback
17 December 2011
Oxford Logic Guides

Cover for 9780198514770

Set Theory with a Universal Set

Exploring an Untyped Universe

Second Edition

$66.00

T. E. Forster

9780198514770
Hardcover
05 October 1995
Oxford Logic Guides

Cover for 9780198567387

Simplicity Theory

$90.00

Byunghan Kim

9780198567387
Hardcover
24 December 2013
Oxford Logic Guides

Cover for 9780198524960

Sketches of an Elephant

A Topos Theory Compendium

$500.00

Peter T. Johnstone

9780198524960
Hardcover
17 July 2003
Oxford Logic Guides

Cover for 9780198534259

Sketches of an Elephant

A Topos Theory Compendium

$300.00

Peter T. Johnstone

9780198534259
Hardcover
21 November 2002
Oxford Logic Guides

Cover for 9780198515982

Sketches of an Elephant

A Topos Theory Compendium

$300.00

Peter T. Johnstone

9780198515982
Hardcover
21 November 2002
Oxford Logic Guides

Cover for 9780198537687

Temporal Logic

Mathematical Foundations and Computational Aspects

$300.00

Dov. M. Gabbay, Mark A. Reynolds, and Marcelo Finger

9780198537687
Hardcover
01 June 2000
Oxford Logic Guides

Cover for 9780198537694

Temporal Logic

Mathematical Foundations and Computational Aspects

$305.00

Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds

9780198537694
Hardcover
25 August 1994
Oxford Logic Guides

Cover for 9780198568278

The Structure of Models of Peano Arithmetic

$135.00

Roman Kossak and Jim Schmerl

9780198568278
Hardcover
14 September 2006
Oxford Logic Guides

Cover for 9780198501275

Twenty-Five Years of Constructive Type Theory

Proceedings of a Congress held in Venice, October 1995

$93.00

Giovanni Sambin and Jan M. Smith

9780198501275
Hardcover
10 December 1998
Oxford Logic Guides

Previous List | Grid
Share: