We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£109.19
Springer - A Short Introduction to Intuitionistic Logic Book
Price data last checked 37 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£109 today · previous high £109 · all-time low £106
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 54 days · 54 data points (no recent data)
Price Distribution
Price distribution over 54 days • 2 price levels
Price Analysis
Most common price: £106 (42 days, 77.8%)
Price range: £106 - £109
Price levels: 2 different prices over 54 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
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)
North Holland
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