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

£140.00

Shawn Hedman

9780198529804
Hardback
08 July 2004
Oxford Texts in Logic

Cover for 9780198507291

A Graphic Apology for Symmetry and Implicitness

£145.00

Alessandra Carbone, Stephen Semmes

9780198507291
Hardback
29 June 2000
Oxford Mathematical Monographs

Cover for 9780198532118

A Study of Logics

£135.00

John P. Cleave

9780198532118
Hardback
19 December 1991
Oxford Logic Guides

Cover for 9780198531920

Algebraic Methods in Philosophical Logic

£112.00

J. Michael Dunn, Gary Hardegree

9780198531920
Hardback
28 June 2001
Oxford Logic Guides

Cover for 9780198536901

Arithmetic, Proof Theory, and Computational Complexity

£125.00

Peter Clote, Jan Krajícek

9780198536901
Hardback
06 May 1993
Oxford Logic Guides

Cover for 9780198532835

Cantorian Set Theory and Limitation of Size

£110.00

Michael Hallett

9780198532835
Paperback
27 November 1986
Oxford Logic Guides

Cover for 9780198537854

Cardinal Arithmetic

£145.00

Saharon Shelah

9780198537854
Hardback
17 November 1994
Oxford Logic Guides

Cover for 9780198534501

Diagonalization and Self-Reference

£142.50

Raymond M. Smullyan

9780198534501
Hardback
01 September 1994
Oxford Logic Guides

Cover for 9780198505242

Elements of Intuitionism

Second Edition

£135.00

Michael Dummett

9780198505242
Hardback
15 June 2000
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 9780195039641

Kurt Gödel: Collected Works: Volume I

Publications 1929-1936

£155.00

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

£155.00

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 9780195072556

Kurt Gödel: Collected Works: Volume III

Unpublished Essays and Lectures

£175.00

Kurt Gödel, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Robert M. Solovay

9780195072556
Hardback
25 May 1995

Cover for 9780198500735

Kurt Gödel: Collected Works: Volume IV

Selected Correspondence, A-G

£167.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 9780198500759

Kurt Gödel: Collected Works: Volume V

Correspondence, H-Z

£185.00

Kurt Gödel, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg

9780198500759
Hardback
27 March 2003
Collected Works Series

Cover for 9780198240600

Logic and Reality

Essays on the Legacy of Arthur Prior

£102.50

B. J. Copeland

9780198240600
Hardback
20 February 1997

Cover for 9780198538509

Machine Intelligence 13

Machine Intelligence and Inductive Learning

£140.00

K. Furukawa, D. Michie, S. Muggleton

9780198538509
Hardback
25 August 1994

Next List | Grid
Share: