Skip to main content
Search results

Arithmetic, Proof Theory, and Computational Complexity

Products

Showing 48 of 173 products
Bounded Arithmetic, Propositional Logic and Complexity Theory
Cambridge University Press
Bounded Arithmetic, Propositional Logic and Complexity Theory
$178.82
Compare Now
Logical Foundations of Proof Complexity
Cambridge University Press
Logical Foundations of Proof Complexity
$144.86
Compare Now
Finite Mathematics & Its Applications, Books a la Carte Edition
Pearson
Finite Mathematics & Its Applications, Books a la Carte Edition
$117.32
Compare Now
Foundations of Computational Mathematics, Hong Kong 2008
Cambridge University Press
Foundations of Computational Mathematics, Hong Kong 2008
$75.54
Compare Now
Foundations of Computational Mathematics, Hong Kong 2008
Cambridge University Press
Foundations of Computational Mathematics, Hong Kong 2008
$75.92
Compare Now
Encyclopedia of Mathematics and Its Appl Bounded Arithmetic Propositional Logic and Complexity Theory Book 60 (Hardcover)
Cambridge University Press
Encyclopedia of Mathematics and Its Appl Bounded Arithmetic Propositional Logic and Complexity Theory Book 60 (Hardcover)
$167.84
Compare Now
Introduction to Formal Logic
Oxford University Press
Introduction to Formal Logic
$77.73
Compare Now
P, NP, and NP-Completeness: The Basics of Computational Complexity
Cambridge University Press
P, NP, and NP-Completeness: The Basics of Computational Complexity
$44.95
Compare Now
Introduction to Formal Logic
Oxford University Press
Introduction to Formal Logic
$43.99
Compare Now
Mathematical Logic A Course with Exercises Part II: Recursion Theory, Gdel's Theorems, Set Theory, Model Theory
Oxford University Press
Mathematical Logic A Course with Exercises Part II: Recursion Theory, Gdel's Theorems, Set Theory, Model Theory
$223.77
Compare Now
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Cambridge University Press
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
$154.85
Compare Now
Foundations of Computational Mathematics
Cambridge University Press
Foundations of Computational Mathematics
$73.56
Compare Now
Proof and Disproof in Formal Logic An Introduction for Programmers
Oxford University Press
Proof and Disproof in Formal Logic An Introduction for Programmers
$51.69
Compare Now
Foundations of Computational Mathematics, Minneapolis 2002
Cambridge University Press
Foundations of Computational Mathematics, Minneapolis 2002
$78.92
Compare Now
Foundations of Computational Mathematics, Minneapolis 2002
Cambridge University Press
Foundations of Computational Mathematics, Minneapolis 2002
$78.53
Compare Now
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Cambridge University Press
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
$66.24
Compare Now
Introduction to Formal Logic with Philosophical Applications
Oxford University Press
Introduction to Formal Logic with Philosophical Applications
$58.88
Compare Now
Truth Through Proof A Formalist Foundation for Mathematics
Oxford University Press
Truth Through Proof A Formalist Foundation for Mathematics
$127.87
Compare Now
9% offA Synopsis of Elementary Results in Pure and Applied Mathematics
Cambridge University Press
A Synopsis of Elementary Results in Pure and Applied Mathematics
$97.20$107.35$3.88 back
Compare Now 9+ Stores
A Synopsis of Elementary Results in Pure and Applied Mathematics
Cambridge University Press
A Synopsis of Elementary Results in Pure and Applied Mathematics
$97.20
Compare Now
Proof Complexity
Cambridge University Press
Proof Complexity
$164.99
Compare Now
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
Springer International Publishing
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
$191.99
Compare Now
A Synopsis of Elementary Results in Pure and Applied Mathematics
Cambridge University Press
A Synopsis of Elementary Results in Pure and Applied Mathematics
$107.89
Compare Now
A Synopsis of Elementary Results in Pure and Applied Mathematics
Cambridge University Press
A Synopsis of Elementary Results in Pure and Applied Mathematics
$33.29
Compare Now
Topics in Finite and Discrete Mathematics
Cambridge University Press
Topics in Finite and Discrete Mathematics
$144.86
Compare Now
Student's Solutions Manual for Finite Mathematics
Pearson
Student's Solutions Manual for Finite Mathematics
$37.32
Compare Now
Topics in Finite and Discrete Mathematics
Cambridge University Press
Topics in Finite and Discrete Mathematics
$69.12
Compare Now
Topics in Finite and Discrete Mathematics
Cambridge University Press
Topics in Finite and Discrete Mathematics
$69.12
Compare Now
Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Oxford University Press
Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
$261.07
Compare Now
Semantics and Logics of Computation
Cambridge University Press
Semantics and Logics of Computation
$57.94
Compare Now
Pre-Owned North-Holland Mathematics Studies Computational Complexity: A Quantitative Perspective: Volume 196 Book 196 (Hardcover)
Elsevier Science
Pre-Owned North-Holland Mathematics Studies Computational Complexity: A Quantitative Perspective: Volume 196 Book 196 (Hardcover)
$62.96
Compare Now
Theory of Computational Complexity
Wiley
Theory of Computational Complexity
$142.80
Compare Now
Concise Guide to Computation Theory (Hardcover)
Springer London
Concise Guide to Computation Theory (Hardcover)
$56.14
Compare Now
Pre-Owned London Mathematical Society Lecture Note Complexity Science Book 408 (Paperback)
Cambridge University Press
Pre-Owned London Mathematical Society Lecture Note Complexity Science Book 408 (Paperback)
$75.63
Compare Now
Introduction to Proof in Abstract Mathematics
Dover Publications
Introduction to Proof in Abstract Mathematics
$23.94
Compare Now
Arithmetic Complexity of Computations
Society For Industrial Applied
Arithmetic Complexity of Computations
$59.14
Compare Now
Pre-Owned Logic of Mathematics: A Modern Course of Classical Logic (Hardcover) 0471060267 9780471060260
Pre-Owned Logic of Mathematics: A Modern Course of Classical Logic (Hardcover) 0471060267 9780471060260
$134.46
Compare Now
Introduction to Mathematical Logic, Sixth Edition
Chapman Hall
Introduction to Mathematical Logic, Sixth Edition
$114.89
Compare Now
Introduction to Mathematical Logic, Sixth Edition
Chapman Hall
Introduction to Mathematical Logic, Sixth Edition
$103.50
Compare Now
An Introduction to Mathematical Proofs
Crc Pr I
An Introduction to Mathematical Proofs
$46.20
Compare Now
An Introduction to Mathematical Proofs
Crc Pr I
An Introduction to Mathematical Proofs
$117.21
Compare Now
Introduction to Mathematical Logic (Paperback)
Princeton University Press
Introduction to Mathematical Logic (Paperback)
$115.20
Compare Now
An Introduction to Mathematical Logic
Dover Publications
An Introduction to Mathematical Logic
$28.76
Compare Now
Springer Monographs in Mathematics Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Paperback)
Springer
Springer Monographs in Mathematics Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Paperback)
$111.99
Compare Now
Theory of Computational Complexity
Wiley
Theory of Computational Complexity
$119.00
Compare Now
Introduction to Discrete Mathematics via Logic and Proof
Springer
Introduction to Discrete Mathematics via Logic and Proof
$53.99
Compare Now
Springer Monographs in Mathematics Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Hardcover)
Springer
Springer Monographs in Mathematics Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Hardcover)
$114.96
Compare Now
Pre-Owned Mathematical Logic (Paperback) 0486425339 9780486425337
Pre-Owned Mathematical Logic (Paperback) 0486425339 9780486425337
$21.27
Compare Now
Show more products