We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£83.00
North Holland The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103)
Price data checked 7 days ago
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.
£83 today · cheaper than every other day in the last 3 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 84 days • 84 data points (No recent data available)
Price Distribution
Price distribution over 84 days • 1 price levels
Price Analysis
Most common price: £83 (84 days, 100.0%)
Price range: £83 - £83
Price levels: 1 different prices over 84 days
Description
Product Specifications
- Brand
- North Holland
- Format
- hardcover
- ASIN
- 0444867481
- Domain
- Amazon UK
- Release Date
- 05 October 1984
- Listed Since
- 15 December 2006
Barcode
No barcode data available
Similar Products You Might Like
The Lambda Calculus: Its Syntax and Semantics: v. 103 (Studies in Logic and the Foundations of Mathematics)
North Holland
Lambda-Calculus and Combinators: An Introduction
Cambridge University Press
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... 902 (Lecture Notes in Computer Science, 902)
Springer
Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)
Cambridge University Press
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Springer
Cambridge Two-Level Functional Languages - Series 34 Book
Cambridge University Press
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Cambridge University Press
Mathematics in Programming
Springer
Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)
Cambridge University Press
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
Cambridge University Press
Concepts in Programming Languages
Cambridge University Press
Mathematical Logic and Computation
Cambridge University Press
Logic And Language Models For Computer Science (fourth Edition): 4th Edition
World Scientific Publishing Company
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
Springer
Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)
Springer
Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)
Springer
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (Advances In Logic)
World Scientific Publishing Company
Springer - Logic and Lexicon: The Semantics of the Indefinite 56
Springer
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
Cambridge University Press
Introduction to Mathematical Logic (Princeton Mathematical Series, 17)
Princeton University Press
R-Calculus, V: Description Logics (Perspectives in Formal Induction, Revision and Evolution)
Springer
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
Springer
Logic of Computation: SER F / v.157 (NATO ASI)
Springer