Logic

Antitrust Law
Arbitration
Civil Law
Comparative Law
Constitutional & Administrative Law
Construction Law
Contract Law
Corporate Law
Criminal Law
Employment & Labor Law
Environment & Energy Law
European Union Law
Family Law
Financial Law
History of Law
Human Rights & Immigration
Intellectual Property Law
International Law
IT & Communications Law
Jurisprudence & Philosophy of Law
Law & Politics
Law & Society
Legal System & Practice
Medical & Healthcare Law
Philosophy of Law
Policing
Property Law
Study & Revision
Terrorism & National Security Law
Tort Law
Trusts Law
Media Law

Series

Blackstone's Police Manuals
International Economic Law Series
Oxford Commentaries on International Law
Oxford Handbooks

View All

Online Resources

Investment Claims
Oxford International Organizations
Oxford Legal Research Library
Oxford Reports on International Law

View All

Resources

Authors
Booksellers
Lecturers
Librarians
Press
Publisher Services
Researchers
Societies
Sponsors & Advertisers
Students

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

Subjects

Type

Publication Date

Price

Product Type

Format

Logic

A First Course in Logic

A First Course in Logic

A Graphic Apology for Symmetry and Implicitness

A Study of Logics

A Transition to Advanced Mathematics

Act-Based Conceptions of Propositional Content

After Gödel

After Gödel

Algebraic Methods in Philosophical Logic

An Introduction to Proof Theory

An Introduction to Proof Theory

Arithmetic, Proof Theory, and Computational Complexity

Artificial Intelligence and Scientific Method

Artificial Intelligence and Scientific Method

Automated Deduction in Multiple-Valued Logics

Automorphisms of First-order Structures

Bayesian Nets and Causality: Philosophical and Computational Foundations

By Parallel Reasoning

Cantorian Set Theory and Limitation of Size

Cardinal Arithmetic

Connect with OUP