£92.18

Springer Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)

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

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

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

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 75 days • 75 data points (No recent data available)

Historical
Generating forecast...
£92.18 £91.57 £91.71 £91.84 £91.97 £92.10 £92.24 12 March 2026 30 March 2026 18 April 2026 06 May 2026 25 May 2026

Price Distribution

Price distribution over 75 days • 1 price levels

Days at Price
75 days 0 19 38 56 75 £92 Days at Price

Price Analysis

Most common price: £92 (75 days, 100.0%)

Price range: £92 - £92

Price levels: 1 different prices over 75 days

Description

This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications. From the Back Cover This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his  seminal  research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and  Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities.   With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
03 September 2016
Listed Since
25 August 2016

Barcode

No barcode data available

Similar Products You Might Like

Lectures on the Curry-Howard Isomorphism
97% match

Lectures on the Curry-Howard Isomorphism

£105.00 10 Jan 2026
Springer - A Short Introduction to Intuitionistic Logic Book
97% match

Springer - A Short Introduction to Intuitionistic Logic Book

Springer

£105.83 20 Apr 2026
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
97% match

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

Springer

£65.56 23 May 2026
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
97% match

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Elsevier

£104.98 10 Jun 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
97% match

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

£68.02 17 Mar 2026
Logic with Trees: An Introduction to Symbolic Logic
97% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£42.95 15 Feb 2026
Logic with Trees: An Introduction to Symbolic Logic
97% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£133.39 13 Jan 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
97% match

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

CRC Press

£38.79 17 Feb 2026
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
97% match

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

Springer

£98.51 07 Mar 2026
Automated Model Building: 31 (Applied Logic Series, 31)
97% match

Automated Model Building: 31 (Applied Logic Series, 31)

Springer

£110.46 13 Jan 2026
The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)
97% match

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Routledge

£137.61 02 May 2026
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
97% match

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Birkhauser

£60.17 23 Jan 2026
Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)
97% match

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)

North Holland

£120.00 18 Feb 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
97% match

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

£103.00 07 Mar 2026
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series, 8)
97% match

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series, 8)

Springer

£164.56 13 Apr 2026
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
97% match

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

Springer

£100.88 14 Apr 2026
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
97% match

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Springer

£125.80 10 Jun 2026
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
97% match

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Springer

£96.05 02 Mar 2026
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
97% match

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

World Scientific Publishing Company

£72.44 24 Apr 2026
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
97% match

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Springer

£67.04 28 Feb 2026
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
97% match

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Springer

£107.43 10 Mar 2026
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
97% match

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)

Springer

£96.75 01 Mar 2026
Logic Works: A Rigorous Introduction to Formal Logic
96% match

Logic Works: A Rigorous Introduction to Formal Logic

Routledge

£52.99 08 Feb 2026
Routledge Logic Works - Introduction to Formal Logic Book
96% match

Routledge Logic Works - Introduction to Formal Logic Book

Routledge

£137.61 12 Apr 2026