Journals Higher Education

Series

  • Oxford Logic Guides

Type

Price

Product Type

Format

Oxford Logic Guides RSS

List | Grid
Cover for 9780199237180

Category Theory

Second Edition

$55.00

Steve Awodey

9780199237180
Paperback
13 August 2010
Oxford Logic Guides

Cover for 9780199587360

Category Theory

Second Edition

$125.00

Steve Awodey

9780199587360
Hardcover
13 August 2010
Oxford Logic Guides

Cover for 9780199652600

Computability and Randomness

$45.00

Andre Nies

9780199652600
Paperback
16 May 2012
Oxford Logic Guides

Cover for 9780198503811

Fibring Logics

$125.00

Dov M. Gabbay

9780198503811
Hardcover
24 December 1998
Oxford Logic Guides

Cover for 9780198566519

From Sets and Types to Topology and Analysis

Towards Practicable Foundations for Constructive Mathematics

$199.00

Laura Crosilla and Peter Schuster

9780198566519
Hardcover
08 December 2005
Oxford Logic Guides

Cover for 9780195046724

Godel's Incompleteness Theorems

$210.00

Raymond M. Smullyan

9780195046724
Hardcover
20 August 1992
Oxford Logic Guides

Cover for 9780198511748

Interpolation and Definability

Modal and Intuitionistic Logic

$199.00

Dov M. Gabbay and Larisa Maksimova

9780198511748
Hardcover
28 July 2005
Oxford Logic Guides

Cover for 9780195044720

Introduction to Logic and to the Methodology of the Deductive Sciences

Fourth Edition

$210.00

Alfred Tarski

9780195044720
Hardcover
06 January 1994
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 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

List | Grid
Share: