£107.98

Springer - Gerhard Gentzen's Shorthand Notes on Logic

Name: Springer - Gerhard Gentzen's Shorthand Notes on Logic
Brand: Springer
Price: 107.98 GBP
Availability: InStock

History of Mathematics

This is the most expensive it has ever been. Walk away.

£108 today · previous high £108 · all-time low £108

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 History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 21 days • 21 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 21 days • 1 price levels

Days at Price

Price Analysis

Most common price: £108 (21 days, 100.0%)

Price range: £108 - £108

Price levels: 1 different prices over 21 days

Description

Explore the foundational work of one of the most significant figures in mathematical logic. This volume, published by Springer as part of the Sources and Studies in the History of Mathematics and Physical Sciences series, provides direct access to the shorthand notes of Gerhard Gentzen. Gentzen is widely recognized for developing the proof systems of natural deduction and sequent calculus, which remain central to modern logic and computer science. These notes offer a unique look into his mathematical journey, including his work on the resolution of challenges created by Godel's incompleteness results. Readers can trace his efforts to address the unprovability of the consistency of elementary arithmetic and his dedication to Hilbert's proof theory regarding the consistency of analysis. This book serves as a primary resource for scholars and students interested in the history of mathematics. It provides rare insight into the thought processes of a mathematician whose work helped shape the landscape of contemporary logic and mathematical foundations.

Key Features

Direct access to the shorthand notes of Gerhard Gentzen regarding logic and the foundations of mathematics.

Provides historical context on the development of natural deduction and sequent calculus systems.

Covers Gentzen's work on Godel's incompleteness results and the consistency of elementary arithmetic.

Explores his research into Hilbert's proof theory and the consistency of analysis.

Part of the Springer Sources and Studies in the History of Mathematics and Physical Sciences series.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 331982502X
Category: Books > Subjects > Science, Nature & Maths > Mathematics > History of Mathematics
Domain: Amazon UK
Release Date: 17 July 2018
Listed Since: 17 July 2018

Barcode

No barcode data available

Springer - Gerhard Gentzen's Shorthand Notes on Logic

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics (Sources and Studies in the History of Mathematics and Physical Sciences)

Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland

The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel

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

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Proof Theory and Logic Programming: Computation as Proof Search

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

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

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

Springer - A Short Introduction to Intuitionistic Logic Book

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

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

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

Brill Essays in Philosophy and History of Logic and Mathematics

Logic for Mathematicians

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

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

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

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

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)