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 last checked 58 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£106 today · cheaper than every other day in the last 3 months
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 33 days • 33 data points (No recent data available)
Price Distribution
Price distribution over 33 days • 2 price levels
Price Analysis
Most common price: £109 (32 days, 97.0%)
Price range: £106 - £109
Price levels: 2 different prices over 33 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)
North Holland
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
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
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