We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£108.00
It has never been this cheap. We have no record of a lower price.
£108 today · cheaper than every other day in the last 3 months
Springer Saved from the Cellar: Gerhard Gentzen's Logic & Foundations
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 72 days · 72 data points (no recent data)
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 72 days • 1 price levels
Price Analysis
Most common price: £108 (72 days, 100.0%)
Price range: £108 - £108
Price levels: 1 different prices over 72 days
Description
Key Features
Examines Gerhard Gentzen's shorthand notes on logic, providing direct access to the thinking of a foundational figure in proof theory and mathematical logic.
Details Gentzen's invention of natural deduction and sequent calculus, proof systems that remain essential in contemporary logic, computer science, and formal verification.
Explores Gentzen's resolution of consistency problems arising from Godel's incompleteness theorems, addressing the unprovability of consistency in elementary arithmetic.
Traces Gentzen's contributions to Hilbert's proof theory programme and his investigation into the consistency of analysis before his arrest in 1945.
Published by Springer in the authoritative Sources and Studies in the History of Mathematics and Physical Sciences series for academic rigour and historical accuracy.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 331982502X
- Domain
- Amazon UK
- Release Date
- 17 July 2018
- Listed Since
- 17 July 2018
Barcode
No barcode data available
Similar Products You Might Like
Springer - Gerhard Gentzen's Shorthand Notes on Logic
Springer
Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland
Birkhauser
Princeton University Press - History of Mathematical Roots Book
Princeton University Press
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
Proof Theory and Logic Programming: Computation as Proof Search
Cambridge University Press
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
Springer
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
Springer
Springer Kurt Godel: The Princeton Lectures on Intuitionism
Springer
A Short Introduction to Intuitionistic Logic - Springer
Springer
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
Elsevier
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
Chapman and Hall/CRC
Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
World Scientific Publishing Company
Oxford University Press - An Introduction to Proof Theory Book
Oxford University Press
Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)
Springer
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
Birkhauser
Essays in Philosophy and History of Logic Mathematics - Volume 98
Brill
Logic for Mathematicians
Cambridge University Press
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives)
Birkhauser
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
Birkhauser
An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)
Springer