Skip to main content
Search results

Logical Foundations of Proof Complexity

Products

Showing 48 of 64 products
Logical Foundations of Proof Complexity
Cambridge University Press
Logical Foundations of Proof Complexity
$144.86
Compare Now
Logical Foundations of Proof Complexity
Cambridge Univ Pr
Logical Foundations of Proof Complexity
$49.49
Compare Now
A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Oxford University Press
A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity
$339.65
Compare Now
Introduction to Formal Logic
Oxford University Press
Introduction to Formal Logic
$118.07
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
Proof Analysis
Cambridge University Press
Proof Analysis
$47.94
Compare Now
Logic Techniques of Formal Reasoning
Oxford University Press
Logic Techniques of Formal Reasoning
$190.73
Compare Now
The Oxford Handbook of Philosophy of Mathematics and Logic
Oxford University Press
The Oxford Handbook of Philosophy of Mathematics and Logic
$128.69
Compare Now
Fragments of First-Order Logic
Oxford University Press
Fragments of First-Order Logic
$106.69
Compare Now
Studies in Logic and the Foundations of Handbook of Proof Theory: Volume 137 Book 137 (Hardcover)
Elsevier Science
Studies in Logic and the Foundations of Handbook of Proof Theory: Volume 137 Book 137 (Hardcover)
$210.67
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
Varieties of Logic
Oxford University Press
Varieties of Logic
$80.64
Compare Now
Syllogistic Logic and Mathematical Proof
Oxford University Press
Syllogistic Logic and Mathematical Proof
$47.47
Compare Now
An Introduction to the Philosophy of Logic
Cambridge University Press
An Introduction to the Philosophy of Logic
$84.91
Compare Now
Systems of Logic
Cambridge University Press
Systems of Logic
$52.80
Compare Now
A Mathematical Introduction to Logic
Academic Pr
A Mathematical Introduction to Logic
$82.07
Compare Now
First Course in Mathematical Logic
Dover Publications
First Course in Mathematical Logic
$11.99
Compare Now
Logic Sets and the Techniques of Mathematical Proofs: A Companion for High School and College Students (Paperback)
Authorhouse
Logic Sets and the Techniques of Mathematical Proofs: A Companion for High School and College Students (Paperback)
$31.87
Compare Now
Fundamental Proof Methods in Computer Science A Computer-Based Approach
The Mit Press
Fundamental Proof Methods in Computer Science A Computer-Based Approach
$63.94
Compare Now
Reductive Logic and Proof-search Proof Theory, Semantics, and Control
Clarendon Press
Reductive Logic and Proof-search Proof Theory, Semantics, and Control
$127.59
Compare Now
Introduction to Logic
Introduction to Logic
$110.50
Compare Now
Logic: The Theory of Formal Inference
Dover Publications
Logic: The Theory of Formal Inference
$13.80
Compare Now
Complexity Theory and Law
Taylor Francis
Complexity Theory and Law
$44.96
Compare Now
Proof Theory: Sequent Calculi and Related Formalisms
Chapman Hall
Proof Theory: Sequent Calculi and Related Formalisms
$99.00
Compare Now
A First Course in Mathematical Logic and Set Theor
Wiley
A First Course in Mathematical Logic and Set Theor
$113.45
Compare Now
Classical Logic and Its Rabbit-Holes : A First Course (Hardcover)
Classical Logic and Its Rabbit-Holes : A First Course (Hardcover)
$82.42
Compare Now
Logic: The Theory of Formal Inference
Dover Publications
Logic: The Theory of Formal Inference
$12.43
Compare Now
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
Academic Press
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
$35.99
Compare Now
A Mathematical Introduction to Logic
Academic Press
A Mathematical Introduction to Logic
$80.99
Compare Now
Proof Theory: Sequent Calculi and Related Formalisms
Chapman Hall
Proof Theory: Sequent Calculi and Related Formalisms
$101.97
Compare Now
Introduction to Formal Logic
Oxford University Press
Introduction to Formal Logic
$128.43
Compare Now
Trends in Logic Advances in Proof-Theoretic Semantics Book 43 (Hardcover)
Springer International Publishing
Trends in Logic Advances in Proof-Theoretic Semantics Book 43 (Hardcover)
$51.10
Compare Now
Sets, Functions, and Logic: An Introduction to Abstract Mathematics, Third Edition
Chapman Hall
Sets, Functions, and Logic: An Introduction to Abstract Mathematics, Third Edition
$203.78
Compare Now
Logic of Practice (Hardcover)
Stanford University Press
Logic of Practice (Hardcover)
$84.63
Compare Now
Proofs: A Long-Form Mathematics Textbook (The Long
Amazon
Proofs: A Long-Form Mathematics Textbook (The Long
$27.05
Compare Now
Proofs: A Long-Form Mathematics Textbook (The Long
Amazon
Proofs: A Long-Form Mathematics Textbook (The Long
$10.52
Compare Now
Logic of Mathematics A Modern Course of Classical Logic
Wileyinterscience
Logic of Mathematics A Modern Course of Classical Logic
$230.15
Compare Now
Introduction to Advanced Mathematics A Guide to Understanding Proofs
Brooks Cole
Introduction to Advanced Mathematics A Guide to Understanding Proofs
$43.29
Compare Now
Handbook of Philosophical Logic: Volume 17
Springer
Handbook of Philosophical Logic: Volume 17
$89.99
Compare Now
Pre-Owned Universitext: A Concise Introduction to Mathematical Logic (Paperback)
Springer New York
Pre-Owned Universitext: A Concise Introduction to Mathematical Logic (Paperback)
$104.54
Compare Now
A Philosophical Companion to First-Order Logic
Hackett Pub Co
A Philosophical Companion to First-Order Logic
$16.98
Compare Now
Lectures on Mathematical Logic
Crc Press
Lectures on Mathematical Logic
$67.46
Compare Now
Introduction to Discrete Mathematics via Logic and Proof
Springer
Introduction to Discrete Mathematics via Logic and Proof
$53.99
Compare Now
Concise Introduction to Logic 9789353502065 Paperback 1
Concise Introduction to Logic 9789353502065 Paperback 1
$31.90
Compare Now
A Text-Book of Logic (Classic Reprint)
A Text-Book of Logic (Classic Reprint)
$27.09
Compare Now
A Profile of Mathematical Logic
Dover Publications
A Profile of Mathematical Logic
$42.19
Compare Now
Symbolic Logic and Mechanical Theorem Proving
Elsevier Science
Symbolic Logic and Mechanical Theorem Proving
$37.57
Compare Now
Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures
Routledge
Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures
$55.40
Compare Now
Show more products