Journals Higher Education

Series

  • Oxford Logic Guides

Type

Price

Product Type

Format

Oxford Logic Guides RSS

Previous List | Grid
Cover for 9780198538332

Labelled Deductive Systems

$125.00

Dov M. Gabbay

9780198538332
Hardcover
14 November 1996
Oxford Logic Guides

Cover for 9780198537878

Many-Valued Logics

$115.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

$175.00

Maria Manzano

9780198538516
Hardcover
08 July 1999
Oxford Logic Guides

Cover for 9780195082326

Recursion Theory for Metamathematics

$140.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

$175.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

$65.00

T. E. Forster

9780198514770
Hardcover
05 October 1995
Oxford Logic Guides

Cover for 9780198567387

Simplicity Theory

$89.95

Byunghan Kim

9780198567387
Hardcover
24 December 2013
Oxford Logic Guides

Cover for 9780198524960

Sketches of an Elephant

A Topos Theory Compendium

$499.00

Peter T. Johnstone

9780198524960
Hardcover
17 July 2003
Oxford Logic Guides

Cover for 9780198515982

Sketches of an Elephant

A Topos Theory Compendium

$299.00

Peter T. Johnstone

9780198515982
Hardcover
21 November 2002
Oxford Logic Guides

Cover for 9780198534259

Sketches of an Elephant

A Topos Theory Compendium

$299.00

Peter T. Johnstone

9780198534259
Hardcover
21 November 2002
Oxford Logic Guides

Cover for 9780198537687

Temporal Logic

Mathematical Foundations and Computational Aspects

$299.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

$130.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

$85.00

Giovanni Sambin and Jan M. Smith

9780198501275
Hardcover
10 December 1998
Oxford Logic Guides

Previous List | Grid
Share: