We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£113.94
Springer A Short Introduction to Intuitionistic Logic - Springer
Price data checked 4 days ago
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£114 today · previous high £114 · all-time low £109
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 87 days · 87 data points (no recent data)
Price Distribution
Price distribution over 87 days • 2 price levels
Price Analysis
Most common price: £109 (75 days, 86.2%)
Price range: £109 - £114
Price levels: 2 different prices over 87 days
Description
Key Features
A Short Introduction to Intuitionistic Logic from Springer presents intuitionistic logic within the context of classical logic to facilitate understanding of proof-to-program extraction.
Part I covers propositional logic fundamentals using accessible techniques, establishing essential building blocks before advancing to more complex material.
Part II extends the core concepts to predicate logic, completing the transition from foundational principles to research-level applications.
The book assumes familiarity with basic first-order logic, targeting readers prepared for university-level mathematics and theoretical computer science.
Published as part of the University Series in Mathematics, this text bridges introductory logic and advanced monographs in logic and computer science.
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
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Routledge Logic Works - Introduction to Formal Logic Book
Routledge
Logic Works: A Rigorous Introduction to Formal Logic
Routledge
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
Elsevier
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Birkhauser
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Cambridge University Press
Mathematical Logic through Python
Cambridge University Press
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
Springer
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
Cambridge University Press
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
Cambridge University Press
Oxford Mathematical Logic - Oxford Texts in Logic 3 Book
Oxford University Press
Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)
Elsevier
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
Topics in Modern Logic: 14 (Routledge Library Editions: Logic)
Routledge
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
Logic and Structure (Universitext)
Springer
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
CRC Press