We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£183.52
It has never been this cheap. We have no record of a lower price.
£184 today · cheaper than every other day in the last 3 months
CRC Press Mathematical Logic and Theoretical Computer Science - CRC Press
Price data last checked 37 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 54 days · 54 data points (no recent data)
Price data last checked 37 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 54 days • 1 price levels
Price Analysis
Most common price: £184 (54 days, 100.0%)
Price range: £184 - £184
Price levels: 1 different prices over 54 days
Description
Key Features
CRC Press lecture notes covering recursion theory and Zariski topoi with contributions from leading international authorities in mathematical logic.
Comprehensive treatment of denotational semantics and recursion theoretic aspects of computer science for advanced researchers.
Explores model theory, algebra, Automath systems and automated reasoning from both mathematical and computational perspectives.
Includes stability theory, topoi theory and their applications to mathematics and logic for theoretical computer science professionals.
Up-to-date reference work designed for mathematical logicians, computer scientists and algebraists seeking current research in the field.
Product Specifications
- Brand
- CRC Press
- Format
- hardcover
- ASIN
- 1138466891
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 30 November 2017
- Listed Since
- 26 July 2017
Barcode
No barcode data available
Similar Products You Might Like
Constructive Models (Siberian School of Algebra and Logic)
Springer
Constructive Models (Siberian School of Algebra and Logic)
Springer
Logic Colloquium '99: Lecture Notes in Logic 17
A K Peters/CRC Press
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
Cambridge University Press
Logic Colloquium '02: Lecture Notes in Logic 27
A K Peters/CRC Press
Computability and Logic
Cambridge University Press
Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996: 12 (Lecture Notes in Logic, Series Number 12)
Cambridge University Press
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
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
Higher Recursion Theory 2 - Perspectives in Logic Series
Cambridge University Press
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
Cambridge University Press
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
Logic Colloquium '03: Lecture Notes in Logic 24
A K Peters/CRC Press
Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19
A K Peters/CRC Press
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
Logic and Structure (Universitext)
Springer