Skip to content
Menu Button
Scan a barcode
Scan
My Lists
Menu Button
Scan a barcode
Scan
Give the Most Present Gift!
Explore Our Holiday Gift Guides →

Search page

1 - 50 of 105 results for "Mathematical Proof Theory"

Selected

Mathematical Proof Theory
Show Out Of Stock Items

Refine Your Search

Product Types

Genres

Formats

Conditions

Collectibles

Languages

Additional Options

Price Range

Exclude

Mathematical Proof Theory
Mathematical Proof Theory
$
24.95
Format: Paperback
Condition: New
See 1 Edition
Proof Theory
By
Proof Theory
$
19.85
Save $5.10! List Price: $24.95
Format: Paperback
Condition: New
See All 2 Editions
Handbook of Proof Theory (Studies in Logic and the Foundations of Ma...
By
Handbook of Proof Theory (Studies in Logic and the Foundations of Mathematics) (Studies in Logic and the Foundations of Mathematics)
$
207.11
Format: Hardcover
Condition: New
See 1 Edition
Applied Proof Theory: Proof Interpretations and their Use in Mathema...
By
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
$
139.99
Format: Paperback
Condition: New
See 1 Edition
Applied Proof Theory: Proof Interpretations and Their Use in Mathema...
By
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
$
139.99
Format: Hardcover
Condition: New
See 1 Edition
Mathematical Problems and Proofs: Combinatorics, Number Theory, and ...
By
Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematic...
By
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics)
$
59.95
Format: Paperback
Condition: New
See 1 Edition
An Introduction to Mathematical Logic and Type Theory: To Truth Thro...
By
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
$
99.99
Format: Paperback
Condition: New
See All 4 Editions
Elementary Theory of Metric Spaces: A Course in Constructing Mathema...
By
Elementary Theory of Metric Spaces: A Course in Constructing Mathematical Proofs
$
84.99
Format: Hardcover
Condition: New
See 1 Edition
Essentials of Mathematics: Introduction to Theory, Proof, and the Pr...
By
Essentials of Mathematics: Introduction to Theory, Proof, and the Professional Culture (Classroom Resource Materials)
$
19.09
Save $48.91! List Price: $68.00
Format: Hardcover
Condition: Very Good*
See 1 Edition
Santa Fe Conjecture: Mathematical Proof for the Theory of Moral Sent...
By and
Santa Fe Conjecture: Mathematical Proof for the Theory of Moral Sentiments
$
12.27
Format: Paperback
Condition: New
See 1 Edition
Proof Theory: An Introduction (Lecture Notes in Mathematics)
By , ,
Proof Theory: An Introduction (Lecture Notes in Mathematics)
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Bibliography of Mathematical Logic: Proof Theory Constructive Mathem...
By and
Bibliography of Mathematical Logic: Proof Theory Constructive Mathematics
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathe...
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
$
84.99
Format: Paperback
Condition: New
See 1 Edition
Write Your Own Proofs in Set Theory and Discrete Mathematics
By and
Write Your Own Proofs in Set Theory and Discrete Mathematics
$
24.59
Save $5.41! List Price: $30.00
Format: Paperback
Condition: Very Good*
See 1 Edition
Write Your Own Proofs: in Set Theory and Discrete Mathematics
By and
Write Your Own Proofs: in Set Theory and Discrete Mathematics
$
17.75
Save $4.25! List Price: $22.00
Format: Paperback
Condition: New
See 1 Edition
Proof and Computation II: From Proof Theory and Univalent Mathematic...
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
$
148.00
Format: Hardcover
Condition: New
See 1 Edition
The Code of Mathematics: From Truth, Proof, and Computability to Hom...
By
The Code of Mathematics: From Truth, Proof, and Computability to Homotopy Type Theory.
$
54.77
Format: Paperback

Releases: Feb 24, 2027

See 1 Edition
Correctness preserving program refinements: Proof theory and applica...
By
Correctness preserving program refinements: Proof theory and applications (Mathematical Centre tracts)
$
9.69
Format: Paperback
Condition: Good
See 1 Edition
Proof Theory (Grundlehren Der Mathematischen Wissenschaften, 225 : A...
Proof Theory (Grundlehren Der Mathematischen Wissenschaften, 225 : A Series of Comprehensive Studies in Mathematics)
$
400.69
Format: Hardcover
Condition: Good
See 1 Edition
Number and Proof: An Introduction to Number Theory and its Foundatio...
Number and Proof: An Introduction to Number Theory and its Foundations (Springer Undergraduate Mathematics Series)
$
54.77
Format: Paperback

Releases: Feb 21, 2027

See 1 Edition
Set Theory (Studies in Logic and the Foundations of Mathematics)
By
Set Theory (Studies in Logic and the Foundations of Mathematics)
$
30.00
Format: Paperback
Condition: New
See All 3 Editions
An Introduction to Proofs with Set Theory (Synthesis Lectures on Mat...
By and
An Introduction to Proofs with Set Theory (Synthesis Lectures on Mathematics and Statistics)
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Introduction to Proof Through Number Theory
By
Introduction to Proof Through Number Theory
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Mathematical Proof of God's Existence at the Intersection of Science...
Mathematical Proof of God's Existence at the Intersection of Science and Faith: The Scientifically Verifiable Cosmological Theory That Challenges the ... Reason and Religion THEY Want You to Ignore
$
10.13
Format: Paperback
Condition: New
See 1 Edition
Complexity of Proofs and Their Transformations in Axiomatic Theories...
By
Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Information Theory for Machine Learning: Theorems, Proofs, and Pytho...
Information Theory for Machine Learning: Theorems, Proofs, and Python Implementations (Computational Mathematics Library)
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Principles of Intuitionism: Lectures presented at the Summer Confere...
By
Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics)
$
44.53
Format: Paperback
Condition: New
See 1 Edition
Model Theory and Algebraic Geometry: An introduction to E. Hrushovsk...
By and
Model Theory and Algebraic Geometry: An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture (Lecture Notes in Mathematics)
$
64.97
Format: Paperback
Condition: New
See 1 Edition
We Can Travel at the Speed of Light or Faster: Mathematical Proof: E...
By
We Can Travel at the Speed of Light or Faster: Mathematical Proof: Einstein's Special Theory of Relativity Is Invalid
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Discrete Mathematics for Teacher Certification Exams for Beginners: ...
By and
Discrete Mathematics for Teacher Certification Exams for Beginners: Seven-Exam Study Guide with Practice Tests for Sets, Logic, Combinatorics, Graph Theory, Probability, and Proof
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Proof Theory
By
Proof Theory
$
139.99
Format: Paperback
Condition: New
See All 2 Editions
Structural Proof Theory
By and
Structural Proof Theory
$
66.80
Format: Paperback
Condition: New
See All 2 Editions
Mathematics and Politics: Strategy, Voting, Power, and Proof (Textbo...
By
Mathematics and Politics: Strategy, Voting, Power, and Proof (Textbooks in Mathematical Sciences)
$
9.09
Save $45.90! List Price: $54.99
Format: Paperback
Condition: Like New
See All 5 Editions
Advances in Proof Theory
Advances in Proof Theory
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
Proof Theory: A selection of papers from the Leeds Proof Theory Prog...
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
$
53.00
Format: Paperback
Condition: New
See All 2 Editions
Goal-Directed Proof Theory (Applied Logic Series Volume 21)
By , , , et al.
Goal-Directed Proof Theory (Applied Logic Series Volume 21)
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
Proof Theory of Modal Logic
By
Proof Theory of Modal Logic
$
169.99
Format: Paperback
Condition: New
See All 2 Editions
Proof Theory: History and Philosophical Significance (Synthese Libra...
By
Proof Theory: History and Philosophical Significance (Synthese Library)
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
Ways of Proof Theory
Ways of Proof Theory
$
212.71
Save $127.29! List Price: $340.00
Format: Hardcover
Condition: New
See 1 Edition
Basic Proof Theory
By , ,
Basic Proof Theory
$
68.92
Format: Paperback
Condition: New
See All 4 Editions
An Introduction to Proofs with Set Theory
By and
An Introduction to Proofs with Set Theory
$
69.99
Format: Paperback
Condition: New
See All 2 Editions
Proof Theory: A selection of papers from the Leeds Proof Theory Prog...
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
$
149.81
Format: Hardcover
Condition: New
See 1 Edition
Proof Theory for Fuzzy Logics
By , ,
Proof Theory for Fuzzy Logics
$
70.79
Save $59.20! List Price: $129.99
Format: Hardcover
Condition: Like New
See All 2 Editions
A Proof Theory for General Unification (Progress in Computer Science...
By
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic)
$
59.87
Format: Paperback
Condition: New
See All 2 Editions
The Method of Socratic Proofs: From the Logic of Questions to Proof ...
By
The Method of Socratic Proofs: From the Logic of Questions to Proof Theory (Trends in Logic, 64)
$
159.99
Format: Paperback
Condition: New
See 1 Edition
The Method of Socratic Proofs: From the Logic of Questions to Proof ...
By
The Method of Socratic Proofs: From the Logic of Questions to Proof Theory
$
159.99
Format: Hardcover
Condition: New
See 1 Edition
Proof Theory and Automated Deduction (Applied Logic Series)
By
Proof Theory and Automated Deduction (Applied Logic Series)
$
60.10
Format: Paperback
Condition: New
See All 2 Editions
Hybrid Logic and its Proof-Theory
By and
Hybrid Logic and its Proof-Theory
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
Set Theory: Boolean-Valued Models and Independence Proofs
By
Set Theory: Boolean-Valued Models and Independence Proofs
$
78.61
Format: Paperback
Condition: New
See All 2 Editions
of 3
Issues with your search? so we can make it easier for you to find products.

If you have order questions or need additional assistance, please visit Help & Support.

Trustpilot

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Follow Us

Link to Facebook
Link to Twitter
Link to Pinterest
Link to Tumblr
Link to Instagram
Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured