£44.99

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

Price data last checked 46 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

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

Historical
Generating forecast...
£44.99 £42.74 £43.64 £44.54 £45.44 £46.34 £47.24 25 January 2026 05 February 2026 16 February 2026 27 February 2026 10 March 2026

Price Distribution

Price distribution over 45 days • 1 price levels

Days at Price
45 days 0 11 23 34 45 £45 Days at Price

Price Analysis

Most common price: £45 (45 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 45 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

Format
paperback
Domain
Amazon UK
Release Date
01 April 2026
Listed Since
27 March 2025

Barcode

No barcode data available

Similar Products You Might Like

Displaying Modal Logic: 3 (Trends in Logic, 3)
92% match

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

Springer

£99.53 05 Mar 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
92% match

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

Springer

£105.95 07 Mar 2026
Springer - Gerhard Gentzen's Shorthand Notes on Logic
92% match

Springer - Gerhard Gentzen's Shorthand Notes on Logic

Springer

£110.68 24 Feb 2026
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
92% match

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

Springer

£99.83 12 Apr 2026
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
92% match

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

Springer

£99.53 05 Mar 2026
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
92% match

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

CRC Press

£85.00 08 Mar 2026
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
92% match

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

£110.54 09 Dec 2025
Theory of Logical Calculi: Basic Theory of Consequence Operations: 199 (Synthese Library, 199)
91% match

Theory of Logical Calculi: Basic Theory of Consequence Operations: 199 (Synthese Library, 199)

Springer

£212.92 09 Jan 2026
Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland
91% match

Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland

Birkhauser

£49.82 07 Apr 2026
Propositional and Predicate Calculus: A Model of Argument
91% match

Propositional and Predicate Calculus: A Model of Argument

Springer

£52.01 14 Jan 2026
Propositional Logics Third Edition
91% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
91% match

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

Springer

£42.30 21 Feb 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
91% match

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

North Holland

£49.99 22 Feb 2026
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
91% match

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Springer

£65.47 13 Jan 2026
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
91% match

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

Springer

£68.39 23 Feb 2026
Introduction to Mathematical Logic: Extended Edition
91% match

Introduction to Mathematical Logic: Extended Edition

World Scientific Publishing Company

£71.00 26 Feb 2026
Mathematical Logic: An Introduction (De Gruyter Textbook)
91% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

£61.17 11 Jan 2026
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)
91% match

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Springer

£123.71 12 Jan 2026
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
91% match

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Springer

£98.51 07 Mar 2026
Logic for Applications (Texts in Computer Science)
91% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Logic and Structure (Universitext)
91% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 2026
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
91% match

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Springer

£91.63 07 Mar 2026
Lectures on Mathematical Logic, Volume II: Calculi for Derivations and Deductions: 02
91% match

Lectures on Mathematical Logic, Volume II: Calculi for Derivations and Deductions: 02

CRC Press

£102.87 18 Feb 2026
First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)
91% match

First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)

Springer

£40.31 09 Feb 2026