	A First Course in Combinatorial Mathematics Second Edition $90.00 Add A First Course in Combinatorial Mathematics to Cart Ian Anderson 9780198596738 Paperback 12 October 1989 Oxford Applied Mathematics and Computing Science Series
	A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity $220.00 Add A First Course in Logic to Cart Shawn Hedman 9780198529804 Hardcover 16 September 2004 Oxford Texts in Logic
	A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity $96.00 Add A First Course in Logic to Cart Shawn Hedman 9780198529811 Paperback 09 September 2004 Oxford Texts in Logic
	A Study of Logics $215.00 Add A Study of Logics to Cart John P. Cleave 9780198532118 Hardcover 23 January 1992 Oxford Logic Guides
	Algebraic Methods in Philosophical Logic $210.00 Add Algebraic Methods in Philosophical Logic to Cart J. Michael Dunn and Gary Hardegree 9780198531920 Hardcover 30 August 2001 Oxford Logic Guides
	An Introduction to C++ and Numerical Methods $134.99 Add An Introduction to C++ and Numerical Methods to Cart James M. Ortega and Andrew S. Grimshaw 9780195117677 Paperback 06 August 1998
	An Introduction to Fortran 90 for Scientific Computing $164.99 Add An Introduction to Fortran 90 for Scientific Computing to Cart James M. Ortega 9780195172133 Hardcover 01 July 1994
	An Introduction to Numerical Methods in C++ Revised Edition $130.00 Add An Introduction to Numerical Methods in C++ to Cart B. H. Flowers 9780198506935 Paperback 22 June 2000
	An Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs $35.00 Add An Introduction to Proof Theory to Cart Paolo Mancosu, Sergio Galvan, and Richard Zach 9780192895943 Paperback 17 October 2021
	An Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs $105.00 Add An Introduction to Proof Theory to Cart Paolo Mancosu, Sergio Galvan, and Richard Zach 9780192895936 Hardcover 12 October 2021
	An Invitation to Computational Homotopy $67.00 Add An Invitation to Computational Homotopy to Cart Graham Ellis 9780198832980 Paperback 13 October 2019
	An Invitation to Computational Homotopy $130.00 Add An Invitation to Computational Homotopy to Cart Graham Ellis 9780198832973 Hardcover 13 October 2019
	Approximating Integrals via Monte Carlo and Deterministic Methods $150.00 Add Approximating Integrals via Monte Carlo and Deterministic Methods to Cart Michael Evans and Tim Swartz 9780198502784 Hardcover 01 June 2000 Oxford Statistical Science Series
	Artificial-Intelligence-Based Electrical Machines and Drives Application of Fuzzy, Neural, Fuzzy-neural, and Genetic-Algorithm-based Techniques $490.00 Add Artificial-Intelligence-Based Electrical Machines and Drives to Cart Peter Vas 9780198593973 Hardcover 08 April 1999 Monographs in Electrical and Electronic Engineering
	Biophysics of Computation Information Processing in Single Neurons $95.00 Add Biophysics of Computation to Cart Christof Koch 9780195181999 Paperback 28 October 2004 Computational Neuroscience Series
	Causal Models How People Think About the World and Its Alternatives $28.95 Add Causal Models to Cart Steven Sloman 9780195394290 Paperback 17 April 2009
	Causal Models How People Think about the World and Its Alternatives $56.00 Add Causal Models to Cart Steven Sloman 9780195183115 Hardcover 28 July 2005
	Cellular Computing $92.00 Add Cellular Computing to Cart Barbara Hanawalt and Martyn Amos 9780195155396 Hardcover 05 August 2004 Series in Systems Biology
	Cellular Computing $79.00 Add Cellular Computing to Cart Martyn Amos 9780195155402 Paperback 05 August 2004 Series in Systems Biology
	Circuits of the Mind $53.00 Add Circuits of the Mind to Cart Leslie G. Valiant 9780195126686 Paperback 28 December 2000

Connect with OUP

Dear Customer,

Subjects

Type

Publication Date

Price

Product Type

Format

Mathematical Theory of Computation