An Introduction to Model Theory, Proof Theory, Computability, and Complexity
£162.50
Add A First Course in Logic to Cart
Shawn Hedman
9780198529804 Hardback 08 July 2004 Oxford Texts in Logic
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
£71.00
Add A First Course in Logic to Cart
Shawn Hedman
9780198529811 Paperback 08 July 2004 Oxford Texts in Logic
£67.00
Add A Graphic Apology for Symmetry and Implicitness to Cart
Alessandra Carbone, Stephen Semmes
9780198507291 Hardback 29 June 2000 Oxford Mathematical Monographs
£160.00
Add A Study of Logics to Cart
John P. Cleave
9780198532118 Hardback 19 December 1991 Oxford Logic Guides
A Survey Course
£77.00
Add A Transition to Advanced Mathematics to Cart
William Johnston, Alex McAllister
9780195310764 Hardback 13 August 2009
Contemporary and Historical Perspectives
£59.00
Add Act-Based Conceptions of Propositional Content to Cart
Friederike Moltmann, Mark Textor
9780199373574 Hardback 31 August 2017
Platonism and Rationalism in Mathematics and Logic
£29.49
Add After Gödel to Cart
Richard Tieszen
9780199680610 Paperback 02 May 2013
Platonism and Rationalism in Mathematics and Logic
£66.00
Add After Gödel to Cart
Richard Tieszen
9780199606207 Hardback 05 May 2011
£157.50
Add Algebraic Methods in Philosophical Logic to Cart
J. Michael Dunn, Gary Hardegree
9780198531920 Hardback 28 June 2001 Oxford Logic Guides
Normalization, Cut-Elimination, and Consistency Proofs
£80.00
Add An Introduction to Proof Theory to Cart
Paolo Mancosu, Sergio Galvan, Richard Zach
9780192895936 Hardback 12 August 2021
Normalization, Cut-Elimination, and Consistency Proofs
£25.00
Add An Introduction to Proof Theory to Cart
Paolo Mancosu, Sergio Galvan, Richard Zach
9780192895943 Paperback 12 August 2021
£58.00
Add Arithmetic, Proof Theory, and Computational Complexity to Cart
Peter Clote, Jan Krajícek
9780198536901 Hardback 06 May 1993 Oxford Logic Guides
£29.99
Add Artificial Intelligence and Scientific Method to Cart
Donald Gillies
9780198751595 Paperback 05 September 1996
£105.00
Add Artificial Intelligence and Scientific Method to Cart
Donald Gillies
9780198751588 Hardback 05 September 1996
£112.50
Add Automated Deduction in Multiple-Valued Logics to Cart
Reiner Hähnle
9780198539896 Hardback 06 January 1994 International Series of Monographs on Computer Science
£74.00
Add Automorphisms of First-order Structures to Cart
Richard Kaye, Dugald Macpherson
9780198534686 Hardback 11 August 1994
£96.00
Add Bayesian Nets and Causality: Philosophical and Computational Foundations to Cart
Jon Williamson
9780198530794 Hardback 23 December 2004
£79.00
Add By Parallel Reasoning to Cart
Paul Bartha
9780195325539 Hardback 01 April 2010
£155.00
Add Cantorian Set Theory and Limitation of Size to Cart
Michael Hallett
9780198532835 Paperback 27 November 1986 Oxford Logic Guides
£205.00
Add Cardinal Arithmetic to Cart
Saharon Shelah
9780198537854 Hardback 17 November 1994 Oxford Logic Guides