We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£86.50
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
Price data last checked 8 day(s) ago - will refresh soon
Price History & Forecast
Last 83 days • 83 data points (No recent data available)
Price Distribution
Price distribution over 83 days • 1 price levels
Price Analysis
Most common price: £87 (83 days, 100.0%)
Price range: £87 - £87
Price levels: 1 different prices over 83 days
Description
In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. Nonclassical logics are used in the theory of computations, in information theory, and for the description of systems of heuristic programming. Intuitionistic logic is a particularly important nonclassical logic. The aim of this book is to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic. The exposition, accessible to a wide audience, requires only an introductory course in classical mathematical logic.
Product Specifications
- Format
- paperback
- ASIN
- 0821845209
- Domain
- Amazon UK
- Release Date
- 01 January 1988
- Listed Since
- 13 February 2007
Barcode
No barcode data available
Similar Products You Might Like
94% match
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
Springer
£98.51
07 Mar 2026
93% match
Springer - A Short Introduction to Intuitionistic Logic Book
Springer
£105.83
20 Apr 2026
93% 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
92% match
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
£85.00
08 Mar 2026
92% match
Logic for Applications (Texts in Computer Science)
Springer
£108.11
11 Jan 2026
92% match
Mathematical Logic: An Introduction (De Gruyter Textbook)
£61.17
11 Jan 2026
92% match
Introduction to Proof Through Number Theory (Pure and Applied Undergraduate Texts)
£61.86
21 Feb 2026
92% match
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)
Springer
£78.74
12 Jan 2026
92% match
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
£133.99
10 Apr 2026
92% match
The Tools of Mathematical Reasoning (Pure and Applied Undergraduate Texts)
£67.95
10 Feb 2026
92% match
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
£68.39
23 Feb 2026
91% match
Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)
CRC Press
£80.00
22 Feb 2026
91% match
A First Journey through Logic (Student Mathematical Library)
£43.50
28 Feb 2026
91% match
Mathematical Logic
Taylor & Francis
£46.30
12 Apr 2026
91% match
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
Springer
£96.75
01 Mar 2026
91% match
Intensional Mathematics
£49.99
14 Apr 2026
91% match
Intuitive Axiomatic Set Theory (Textbooks in Mathematics)
£75.43
12 Jan 2026
91% match
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
£110.54
09 Dec 2025
91% match
Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)
Springer
£146.24
09 Mar 2026
91% match
An Introduction to the Language of Mathematics
Springer
£38.20
07 Mar 2026
91% match
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
£42.30
21 Feb 2026
91% match
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
Springer
£91.63
07 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