We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£76.38
Birkhauser Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)
Price data last checked 37 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.
£76 today · cheaper than every other day in the last 2 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 28 days • 28 data points (No recent data available)
Price Distribution
Price distribution over 28 days • 1 price levels
Price Analysis
Most common price: £76 (28 days, 100.0%)
Price range: £76 - £76
Price levels: 1 different prices over 28 days
Description
Product Specifications
- Brand
- Birkhauser
- Format
- paperback
- ASIN
- 1461272785
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Publication Date
- 21 October 2012
- Listed Since
- 20 September 2013
Barcode
No barcode data available
Similar Products You Might Like
Programming with Higher-Order Logic
Cambridge University Press
Logic Functions and Equations: Binary Models for Computer Science
Springer
Logic of Domains (Progress in Theoretical Computer Science)
Birkhauser
Logics for Computer Science: Classical and Non-Classical
Springer
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Springer
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)
Springer
Representation Theorems in Computer Science: A Treatment in Logic Engineering
Springer
First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
Birkhauser
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)
Springer
LOGIC PROGRAMMING THEORY PRACTICES A: Theory, Practices and Challenges (Computer Science, Technology and Applications)
Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)
Birkhauser
The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)
Springer
Prolog by Example: How to Learn, Teach and Use It (Symbolic Computation)
Springer
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
Springer
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)
Birkhauser
Protoalgebraic Logics: 10 (Trends in Logic, 10)
Springer
Theorem Proving with the Real Numbers (Distinguished Dissertations)
Springer
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Cambridge University Press
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)
Springer
Handbook of Parallel Constraint Reasoning
Springer
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)
Springer
Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)
Springer
An Introduction to Formal Languages and Machine Computation
Scientific Publishing
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
Springer