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

£41.42

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

Name: Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)
Brand: Springer
Price: 41.42 GBP
Availability: InStock

Philosophy of Science

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£41 today · all-time low £41 (May 2026) · usually £43

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 71 days · 71 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 71 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £41 (45 days, 63.4%)

Price range: £41 - £45

Price levels: 2 different prices over 71 days

Description

The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing universal properties, proof normalization techniques, and decision procedures for classical, intuitionistic, and linear logics. The same material serves also as a philosophical treatise, describing the meaning of, significance of, and relationships among three different ways to conceptualize the idea of logical completeness. Most of the material featured has never before been presented in a systematic and accessible manner.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 303191998X
Category: Books > Subjects > Science, Nature & Maths > History & Philosophy > Philosophy of Science
Domain: Amazon UK
Release Date: 07 April 2026
Listed Since: 27 March 2025

Barcode

No barcode data available

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

About as cheap as it gets. The only time it was cheaper was 2 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic and Structure (Universitext)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

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

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

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

A General Algebraic Semantics for Sentential Logics: 7 (Lecture Notes in Logic, Series Number 7)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

An Introduction to Substructural Logics

A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Topics in Modern Logic: 14 (Routledge Library Editions: Logic)