We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£105.83
Springer - A Short Introduction to Intuitionistic Logic Book
Price data checked 7 days ago
Price History & Forecast
Last 84 days • 84 data points (No recent data available)
Price Distribution
Price distribution over 84 days • 2 price levels
Price Analysis
Most common price: £109 (83 days, 98.8%)
Price range: £106 - £109
Price levels: 2 different prices over 84 days
Description
Key Features
Provides a foundation for reading research literature in logic and computer science.
Explains how intuitionistic logic allows for the mechanical extraction of programs from proofs.
Structured for accessibility by teaching basic propositional logic techniques first.
Includes Part II which covers essential extensions to predicate logic.
Part of the respected Springer University Series in Mathematics.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1475773196
- Domain
- Amazon UK
- Publication Date
- 26 April 2013
- Listed Since
- 20 September 2013
Barcode
No barcode data available
Similar Products You Might Like
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
Springer
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)
Springer
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company
Logic for Applications (Texts in Computer Science)
Springer
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
Lectures on the Curry-Howard Isomorphism
Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics: 42 (Logic, Epistemology, and the Unity of Science, 42)
Springer
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
Elsevier
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)
Springer
Handbook of Philosophical Logic: Volume 8
Springer
Logic for Mathematicians
Cambridge University Press
Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
Oxford University Press
An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)
Springer
Introduction to Logic and Logical Discourse
Introduction to Logic and Logical Discourse
Springer
