Journals Higher Education

Logic RSS

Showing 1-20 of 179
Next List | Grid
Cover for 9780198529811

A First Course in Logic

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

£79.00

Shawn Hedman

9780198529811
Paperback
08 July 2004
Oxford Texts in Logic

Cover for 9780198529804

A First Course in Logic

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

£180.00

Shawn Hedman

9780198529804
Hardback
08 July 2004
Oxford Texts in Logic

Cover for 9780198507291

A Graphic Apology for Symmetry and Implicitness

£74.00

Alessandra Carbone, Stephen Semmes

9780198507291
Hardback
29 June 2000
Oxford Mathematical Monographs

Cover for 9780198532118

A Study of Logics

£175.00

John P. Cleave

9780198532118
Hardback
19 December 1991
Oxford Logic Guides

Cover for 9780195310764

A Transition to Advanced Mathematics

A Survey Course

£85.00

William Johnston, Alex McAllister

9780195310764
Hardback
13 August 2009

Cover for 9780199373574

Act-Based Conceptions of Propositional Content

Contemporary and Historical Perspectives

£72.00

Friederike Moltmann, Mark Textor

9780199373574
Hardback
31 August 2017

Cover for 9780199606207

After Gödel

Platonism and Rationalism in Mathematics and Logic

£73.00

Richard Tieszen

9780199606207
Hardback
05 May 2011

Cover for 9780199680610

After Gödel

Platonism and Rationalism in Mathematics and Logic

£34.49

Richard Tieszen

9780199680610
Paperback
02 May 2013

Cover for 9780198531920

Algebraic Methods in Philosophical Logic

£172.50

J. Michael Dunn, Gary Hardegree

9780198531920
Hardback
28 June 2001
Oxford Logic Guides

Cover for 9780192895936

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

£80.00

Paolo Mancosu, Sergio Galvan, Richard Zach

9780192895936
Hardback
17 August 2021

Cover for 9780192895943

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

£25.00

Paolo Mancosu, Sergio Galvan, Richard Zach

9780192895943
Paperback
17 August 2021

Cover for 9780198536901

Arithmetic, Proof Theory, and Computational Complexity

£64.00

Peter Clote, Jan Krajícek

9780198536901
Hardback
06 May 1993
Oxford Logic Guides

Cover for 9780198751595

Artificial Intelligence and Scientific Method

£32.99

Donald Gillies

9780198751595
Paperback
05 September 1996

Cover for 9780198751588

Artificial Intelligence and Scientific Method

£115.00

Donald Gillies

9780198751588
Hardback
05 September 1996

Cover for 9780198539896

Automated Deduction in Multiple-Valued Logics

£125.00

Reiner Hähnle

9780198539896
Hardback
06 January 1994
International Series of Monographs on Computer Science

Cover for 9780198534686

Automorphisms of First-order Structures

£82.00

Richard Kaye, Dugald Macpherson

9780198534686
Hardback
11 August 1994

Cover for 9780198530794

Bayesian Nets and Causality: Philosophical and Computational Foundations

£105.00

Jon Williamson

9780198530794
Hardback
23 December 2004

Cover for 9780195325539

By Parallel Reasoning

£87.00

Paul Bartha

9780195325539
Hardback
01 April 2010

Cover for 9780198532835

Cantorian Set Theory and Limitation of Size

£170.00

Michael Hallett

9780198532835
Paperback
27 November 1986
Oxford Logic Guides

Cover for 9780198537854

Cardinal Arithmetic

£225.00

Saharon Shelah

9780198537854
Hardback
17 November 1994
Oxford Logic Guides

Showing 1-20 of 179
Next List | Grid