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 checked 1 day ago
We'll watch every seller, every day. One email when your price arrives.
New to our records — first sighting 18 days ago. We'll learn its rhythm.
18 days of data · current price £76
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 18 days • 18 data points
Price Distribution
Price distribution over 18 days • 1 price levels
Price Analysis
Most common price: £76 (18 days, 100.0%)
Price range: £76 - £76
Price levels: 1 different prices over 18 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 of Domains (Progress in Theoretical Computer Science)
Birkhauser
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Springer
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
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)
Birkhauser
Theorem Proving with the Real Numbers (Distinguished Dissertations)
Springer
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)
Springer
Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)
Springer
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
Springer
Applications of Geometric Algebra in Computer Science and Engineering
Birkhauser
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
Routledge
Multiprocessor Execution of Logic Programs
Springer
New Computational Paradigms: Changing Conceptions of What is Computable
Springer
Elementary Functions: Algorithms and Implementation
Birkhauser
Handbook of Philosophical Logic: Volume 17
Springer
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
Springer
Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)
Springer
Neural Networks and Analog Computation: Beyond the Turing Limit (Progress in Theoretical Computer Science)
Birkhauser
Space–Time Computational Flow Analysis: A Chronological Catalog of Unconventional Methods and First-of-Its-Kind Solutions (Modeling and Simulation in Science, Engineering and Technology)
Birkhauser
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives
Springer
Modeling and Control of Logical Discrete Event Systems: 300 (The Springer International Series in Engineering and Computer Science, 300)
Springer