Journals Higher Education

Logic RSS

Next List | Grid
Cover for 9780198529804

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

£160.00

Shawn Hedman

9780198529804
Hardback
08 July 2004
Oxford Texts in Logic

Cover for 9780198507291

A Graphic Apology for Symmetry and Implicitness

£167.50

Alessandra Carbone, Stephen Semmes

9780198507291
Hardback
29 June 2000
Oxford Mathematical Monographs

Cover for 9780198532118

A Study of Logics

£155.00

John P. Cleave

9780198532118
Hardback
19 December 1991
Oxford Logic Guides

Cover for 9780198531920

Algebraic Methods in Philosophical Logic

£130.00

J. Michael Dunn, Gary Hardegree

9780198531920
Hardback
28 June 2001
Oxford Logic Guides

Cover for 9780198536901

Arithmetic, Proof Theory, and Computational Complexity

£145.00

Peter Clote, Jan Krajícek

9780198536901
Hardback
06 May 1993
Oxford Logic Guides

Cover for 9780198751588

Artificial Intelligence and Scientific Method

£105.00

Donald Gillies

9780198751588
Hardback
05 September 1996

Cover for 9780198532835

Cantorian Set Theory and Limitation of Size

£127.50

Michael Hallett

9780198532835
Paperback
27 November 1986
Oxford Logic Guides

Cover for 9780198537854

Cardinal Arithmetic

£167.50

Saharon Shelah

9780198537854
Hardback
17 November 1994
Oxford Logic Guides

Cover for 9780198248170

Constructibility and Mathematical Existence

£112.50

Charles S. Chihara

9780198248170
Hardback
12 April 1990

Cover for 9780198534501

Diagonalization and Self-Reference

£165.00

Raymond M. Smullyan

9780198534501
Hardback
01 September 1994
Oxford Logic Guides

Cover for 9780198505242

Elements of Intuitionism

Second Edition

£155.00

Michael Dummett

9780198505242
Hardback
15 June 2000
Oxford Logic Guides

Cover for 9780198533917

Foundations without Foundationalism

A Case for Second-Order Logic

£137.50

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

£145.00

Laura Crosilla, Peter Schuster

9780198566519
Hardback
06 October 2005
Oxford Logic Guides

Cover for 9780195046724

Gödel's Incompleteness Theorems

£177.50

Raymond M. Smullyan

9780195046724
Hardback
22 October 1992
Oxford Logic Guides

Cover for 9780198511748

Interpolation and Definability

Modal and Intuitionistic Logics

£150.00

Dov M. Gabbay, Larisa Maksimova

9780198511748
Hardback
12 May 2005
Oxford Logic Guides

Cover for 9780195039641

Kurt Gödel: Collected Works: Volume I

Publications 1929-1936

£177.50

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort

9780195039641
Hardback
22 May 1986

Cover for 9780195039726

Kurt Gödel: Collected Works: Volume II

Publications 1938-1974

£177.50

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort

9780195039726
Hardback
05 April 1990

Cover for 9780198500735

Kurt Gödel: Collected Works: Volume IV

Selected Correspondence, A-G

£192.50

Kurt Gödel, Solomon Feferman, of Mathematics, Stanford Unviersity, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg

9780198500735
Hardback
27 March 2003
Collected Works Series

Cover for 9780198240600

Logic and Reality

Essays on the Legacy of Arthur Prior

£117.50

B. J. Copeland

9780198240600
Hardback
20 February 1997

Cover for 9780195104271

Logical Reasoning with Diagrams

£112.50

Gerard Allwein, Jon Barwise

9780195104271
Hardback
18 July 1996
Studies in Logic and Computation

Next List | Grid
Share: