We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£56.42
It has never been this cheap. We have no record of a lower price.
£56 today · cheaper than every other day in the last 3 months
Cambridge University Press Cambridge Mathematical Logic and Computation by Jeremy Avigad
Price data last checked 63 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 28 days · 28 data points (no recent data)
Price data last checked 63 day(s) ago - refreshing...
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 Distribution
Price distribution over 28 days • 2 price levels
Price Analysis
Most common price: £56 (27 days, 96.4%)
Price range: £56 - £60
Price levels: 2 different prices over 28 days
Description
Key Features
This book by Jeremy Avigad provides a thorough introduction to the fundamental results and methods of mathematical logic.
The text examines logic from a syntactic point of view, focusing on formal languages and systems.
Comprehensive coverage includes proof theory, model theory, the theory of computability, and axiomatic foundations.
Content specifically addresses aspects of mathematical logic fundamental to computer science, such as deductive systems.
The material includes detailed looks at constructive logic, the simply typed lambda calculus, and type-theoretic foundations.
Published by Cambridge University Press, this book offers a clear and engaging approach to complex mathematical topics.
Product Specifications
- Format
- hardcover
- ASIN
- 1108478751
- Domain
- Amazon UK
- Release Date
- 24 November 2022
- Listed Since
- 09 March 2022
Barcode
No barcode data available
Similar Products You Might Like
Fundamentals of Mathematical Logic
CRC Press
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
Cambridge University Press
Mathematical Logic: An Introduction (De Gruyter Textbook)
De Gruyter
Mathematical Logic
Taylor & Francis
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
Chapman and Hall/CRC
Mathematical Logic through Python
Cambridge University Press
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
Cambridge University Press
Classical Mathematical Logic: The Semantic Foundations of Logic
Princeton University Press
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
Cambridge University Press
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Cambridge University Press
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Cambridge University Press
Logic for Computer Scientists (Modern Birkhäuser Classics)
Birkhauser
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
Springer
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
Cambridge University Press
A Mathematical Introduction To Logic
Academic Press
Logic and Philosophy: A Modern Introduction
Mathematical Problems from Applied Logic I - Springer
Springer
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
CRC Press Introduction to Mathematical Logic - 6th Edition
CRC Press
A First Course in Logic - Oxford Texts in Logic
Oxford University Press
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)
Cambridge University Press