We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Price loading...
Springer Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)
Price data last checked 102 day(s) ago - refreshing...
Price History & Forecast
No Price Data Available
Price history will appear here once data is collected from Amazon.
Price Distribution
No price data available for histogram
Description
This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9400732430
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 05 September 2012
- Listed Since
- 13 July 2012
Barcode
No barcode data available
Similar Products You Might Like
92% match
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
Springer
£75.87
28 Feb 2026
91% match
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
Springer
£99.83
12 Apr 2026
91% match
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
Springer
£99.53
05 Mar 2026
91% match
Introduction to Logic and Logical Discourse
£91.52
07 Jan 2026
91% match
Introduction to Logic and Logical Discourse
Springer
£89.88
25 Feb 2026
91% match
Natural Deduction: An Introduction To Logic With Real Arguments, A Little History and Some Humour: Using Natural Deduction, Real Arguments, a Little History, and Some Humour
Broadview Press Inc
£51.56
02 Apr 2026
91% match
Modal Logic for Philosophers
Cambridge University Press
£89.79
12 Jan 2026
90% match
Springer - Abduction and Induction: Essays on Relation and Integration
Springer
£110.03
05 Mar 2026
90% match
Abduction and Induction: Essays on their Relation and Integration: 18 (Applied Logic Series, 18)
Springer
£121.46
23 Jan 2026
90% match
Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)
Springer
£85.68
08 Jan 2026
90% match
Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)
Springer
£75.84
08 Mar 2026
90% match
Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)
Springer
£74.74
08 Mar 2026
90% match
A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)
Springer
£106.06
10 Apr 2026
90% match
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
£104.96
13 Jan 2026
90% match
Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)
Springer
£151.38
18 Mar 2026
90% match
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer
£105.95
07 Mar 2026
90% match
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
£85.45
08 Jan 2026
90% match
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)
Springer
£91.63
09 Mar 2026
90% match
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer
£99.53
05 Mar 2026
90% match
Abductive Reasoning: Logical Investigations into Discovery and Explanation: 330 (Synthese Library, 330)
Springer
£102.54
07 Mar 2026
90% match
Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)
Springer
£89.03
27 Feb 2026
90% match
Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)
Springer
£90.53
14 Jan 2026
90% match
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)
Springer
£110.13
12 Jan 2026
90% match
Logic for Applications (Texts in Computer Science)
Springer
£108.11
11 Jan 2026