We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£112.54
This is the most expensive it has ever been. Walk away.
£113 today · previous high £113 · all-time low £107
Oxford University Press - An Introduction to Proof Theory Book
Price data last checked 73 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 18 days · 18 data points (no recent data)
Price data last checked 73 day(s) ago - refreshing...
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 18 days • 2 price levels
Price Analysis
Most common price: £113 (16 days, 88.9%)
Price range: £107 - £113
Price levels: 2 different prices over 18 days
Description
Key Features
Oxford University Press provides an accessible introduction to the theory of proofs for students and researchers.
Detailed proofs and worked examples are included throughout the text to aid reader understanding.
Exercises are provided to help reinforce learning and mastery of mathematical logic topics.
The content serves as a companion to the original pathbreaking articles written by Gerhard Gentzen.
Covers structural proof theory topics including the Godel-Gentzen translation and natural deduction.
Includes technical studies on the sequent calculus, cut-elimination, and mid-sequent theorems.
Product Specifications
- Brand
- Oxford University Press
- Format
- hardcover
- ASIN
- 0192895931
- Domain
- Amazon UK
- Release Date
- 17 August 2021
- Listed Since
- 11 March 2021
Barcode
No barcode data available
Similar Products You Might Like
Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)
CRC Press
An Introduction to the Language of Mathematics
Springer
Mathematical Logic: An Introduction (De Gruyter Textbook)
De Gruyter
Proofs 101: An Introduction to Formal Mathematics
CRC Press
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
Proof Analysis: A Contribution to Hilbert's Last Problem
Cambridge University Press
Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)
Oxford University Press
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
Chapman and Hall/CRC
Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102
Elsevier
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
Springer
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
Springer
Elsevier Handbook of Proof Theory - Studies in Logic Vol 137
Elsevier
SCIENCE OF LEARNING MATHEMATICAL PROOFS, THE: AN INTRODUCTORY COURSE
World Scientific Publishing Company
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
CRC Press Introduction to Mathematical Logic - 6th Edition
CRC Press
Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland
Birkhauser
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
Birkhauser
Proofs and Ideas: A Prelude to Advanced Mathematics (AMS/MAA Textbooks)
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
Birkhauser
Metamathematics of First-Order Arithmetic - Perspectives Logic
Cambridge University Press
A Transition to Proof: An Introduction to Advanced Mathematics (Textbooks in Mathematics)
CRC Press
Logical Foundations of Proof Complexity (Perspectives in Logic)
Cambridge University Press
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer