|
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
£180.00
Shawn Hedman 9780198529804 Hardback 08 July 2004 Oxford Texts 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 |
|
£74.00
Alessandra Carbone, Stephen Semmes 9780198507291 Hardback 29 June 2000 Oxford Mathematical Monographs |
|
£175.00
John P. Cleave 9780198532118 Hardback 19 December 1991 Oxford Logic Guides |
|
A Survey Course
£85.00
William Johnston, Alex McAllister 9780195310764 Hardback 13 August 2009 |
|
Contemporary and Historical Perspectives
£72.00
Friederike Moltmann, Mark Textor 9780199373574 Hardback 31 August 2017 |
|
Platonism and Rationalism in Mathematics and Logic
£73.00
Richard Tieszen 9780199606207 Hardback 05 May 2011 |
|
Platonism and Rationalism in Mathematics and Logic
£34.49
Richard Tieszen 9780199680610 Paperback 02 May 2013 |
|
£172.50
J. Michael Dunn, Gary Hardegree 9780198531920 Hardback 28 June 2001 Oxford Logic Guides |
|
Normalization, Cut-Elimination, and Consistency Proofs
£80.00
Paolo Mancosu, Sergio Galvan, Richard Zach 9780192895936 Hardback 17 August 2021 |
|
Normalization, Cut-Elimination, and Consistency Proofs
£25.00
Paolo Mancosu, Sergio Galvan, Richard Zach 9780192895943 Paperback 17 August 2021 |
|
£64.00
Peter Clote, Jan Krajícek 9780198536901 Hardback 06 May 1993 Oxford Logic Guides |
|
£32.99
Donald Gillies 9780198751595 Paperback 05 September 1996 |
|
£115.00
Donald Gillies 9780198751588 Hardback 05 September 1996 |
|
£125.00
Reiner Hähnle 9780198539896 Hardback 06 January 1994 International Series of Monographs on Computer Science |
|
£82.00
Richard Kaye, Dugald Macpherson 9780198534686 Hardback 11 August 1994 |
|
£105.00
Jon Williamson 9780198530794 Hardback 23 December 2004 |
|
£87.00
Paul Bartha 9780195325539 Hardback 01 April 2010 |
|
£170.00
Michael Hallett 9780198532835 Paperback 27 November 1986 Oxford Logic Guides |
|
£225.00
Saharon Shelah 9780198537854 Hardback 17 November 1994 Oxford Logic Guides |