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 last checked 80 day(s) ago - refreshing...
Price History & Forecast
Last 11 days • 11 data points (No recent data available)
Price Distribution
Price distribution over 11 days • 1 price levels
Price Analysis
Most common price: £83 (11 days, 100.0%)
Price range: £83 - £83
Price levels: 1 different prices over 11 days
Description
Product Specifications
- Brand
- North Holland
- Format
- hardcover
- ASIN
- 0444867481
- Category
- Books > Subjects > Biography
- 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
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)
Cambridge University Press
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
Mathematical Logic and Computation
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
Introduction to Mathematical Logic (Princeton Mathematical Series, 17)
Princeton University Press
R-Calculus, V: Description Logics (Perspectives in Formal Induction, Revision and Evolution)
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
Cambridge University Press
Introduction to Metamathematics (Bibliotheca Mathematica)
North Holland
Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings: 802 (Lecture Notes in Computer Science, 802)
Springer
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
Springer
Categorial Grammar: Logical Syntax, Semantics, and Processing (Oxford Linguistics)
Oxford University Press
CRC Press Semantics of Programming Languages and Model Theory 5
CRC Press
Lisp in Small Pieces
Cambridge University Press
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
Oxford University Press
R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)
Springer