We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£65.56
Springer An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Price data last checked 18 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
About as cheap as it gets. The only time it was cheaper was 2 months ago.
£66 today · all-time low £65 (Mar 2026) · usually £66
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 73 days • 73 data points (No recent data available)
Price Distribution
Price distribution over 73 days • 3 price levels
Price Analysis
Most common price: £65 (45 days, 61.6%)
Price range: £65 - £69
Price levels: 3 different prices over 73 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9048160790
- Domain
- Amazon UK
- Release Date
- 09 December 2010
- Listed Since
- 01 October 2010
Barcode
No barcode data available
Similar Products You Might Like
Mathematical Logic through Python
Cambridge University Press
Logic for Applications (Texts in Computer Science)
Springer
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
Oxford University Press
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Cambridge University Press
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
DUNOD
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Cambridge University Press
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
Mathematical Logic: An Introduction (De Gruyter Textbook)
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Logic and Structure (Universitext)
Springer
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
World Scientific Publishing Company
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
CRC Press
Logic for Mathematicians
Cambridge University Press
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Lectures on the Curry-Howard Isomorphism
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
Cambridge University Press
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer