£105.59

It has never been this cheap. We have no record of a lower price.

£106 today · cheaper than every other day in the last 3 months

Springer - Gerhard Gentzen's Shorthand Notes on Logic

View at Amazon

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)

Historical
Generating forecast…
£106.78 £105.47 £105.76 £106.04 £106.33 £106.61 £106.90 28 July 2026 14 August 2026 01 September 2026 19 September 2026 07 October 2026
View at Amazon ↗

45124889

Price data last checked 19 day(s) ago - will refresh soon

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

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 72 days • 2 price levels

Days at Price
Current Price
2 days · current 70 days 0 18 35 53 70 £106 £107 Days at Price

Price Analysis

Most common price: £107 (70 days, 97.2%)

Price range: £106 - £107

Price levels: 2 different prices over 72 days

Description

Explore the foundational work of Gerhard Gentzen in this scholarly volume from Springer. Part of the Sources and Studies in the History of Mathematics and Physical Sciences series, this book provides insight into Gentzen's shorthand notes regarding logic and the foundations of mathematics. Gentzen is widely recognized for his development of sequent calculus and natural deduction systems, which remain central to modern logic and computer science. This text offers a perspective on his efforts to address Hilbert's proof theory and the consistency of analysis. It also covers his response to Godel's incompleteness results, specifically regarding the unprovability of the consistency of elementary arithmetic. This work is an essential resource for those studying the history of mathematics and the evolution of mathematical logic.

Key Features

This Springer publication contains the shorthand notes of Gerhard Gentzen regarding logic and the foundations of mathematics.

The text covers Gentzen's development of natural deduction and sequent calculus systems used in computer science today.

Read about Gentzen's resolution of challenges created by Godel's incompleteness results in elementary arithmetic.

This volume is part of the Sources and Studies in the History of Mathematics and Physical Sciences series.

Gain insight into Gentzen's work on Hilbert's proof theory and the question of the consistency of analysis.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
07 April 2017
Listed Since
02 June 2016

Barcode

No barcode data available

Similar Products You Might Like

Saved from the Cellar: Gerhard Gentzen's Logic & Foundations
98% match

Saved from the Cellar: Gerhard Gentzen's Logic & Foundations

Springer

£108.00 07 Oct 2026
Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland
97% match

Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland

Birkhauser

£49.82 30 Sep 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
96% match

Displaying Modal Logic: 3 (Trends in Logic, 3)

Springer

£105.95 23 Sep 2026
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
96% match

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Springer

£43.02 26 Aug 2026
Proof Theory and Logic Programming: Computation as Proof Search
96% match

Proof Theory and Logic Programming: Computation as Proof Search

Cambridge University Press

£50.81 08 Oct 2026
Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)
96% match

Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Oxford University Press

£285.30 26 Sep 2026
Logic and Structure (Universitext)
96% match

Logic and Structure (Universitext)

Springer

£52.79 01 Oct 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£61.99 23 Sep 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£53.82 11 Aug 2026
Springer S. Lesniewski's Lecture Notes in Logic: 24
96% match

Springer S. Lesniewski's Lecture Notes in Logic: 24

Springer

£165.48 26 Aug 2026
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives)
96% match

Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives)

Birkhauser

£83.76 10 Sep 2026
Springer Kurt Godel: The Princeton Lectures on Intuitionism
96% match

Springer Kurt Godel: The Princeton Lectures on Intuitionism

Springer

£62.78 22 Aug 2026
After Godel: Platonism and Rationalism in Mathematics and Logic
96% match

After Godel: Platonism and Rationalism in Mathematics and Logic

Oxford University Press

£35.98 10 Oct 2026
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
96% match

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Springer

£60.59 12 Sep 2026
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)
96% match

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)

Springer

£89.98 15 Oct 2026
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
96% match

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Springer

£65.61 22 Oct 2026
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
96% match

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Birkhauser

£44.99 08 Sep 2026
Cambridge University Press - The Mathematics of Logic Textbook
96% match

Cambridge University Press - The Mathematics of Logic Textbook

Cambridge University Press

£109.99 15 Aug 2026
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
96% match

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Elsevier

£169.19 21 Aug 2026
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics: 6 (Vienna Circle Institute Library, 6)
96% match

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics: 6 (Vienna Circle Institute Library, 6)

Springer

£84.32 18 Sep 2026
Princeton University Press - History of Mathematical Roots Book
96% match

Princeton University Press - History of Mathematical Roots Book

Princeton University Press

£87.83 23 Aug 2026
Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)
96% match

Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)

Springer

£41.43 24 Sep 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
96% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 11 Sep 2026
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
96% match

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Birkhauser

£47.12 19 Aug 2026