Cambridge Lambda-Calculus and Combinators Mathematics Book - Image 1

£67.45

Cambridge University Press Cambridge Lambda-Calculus and Combinators Mathematics Book

Name: Cambridge Lambda-Calculus and Combinators Mathematics Book
Brand: Cambridge University Press
Price: 67.45 GBP
Availability: InStock

Mathematical Logic

This is the most expensive it has ever been. Walk away.

£67 today · previous high £67 · all-time low £60

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

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
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 91 days · 91 data points

Historical

Generating forecast…

Price Distribution

Price distribution over 91 days • 7 price levels

Days at Price

Current Price

Price Analysis

Most common price: £67 (27 days, 29.7%)

Price range: £60 - £67

Price levels: 7 different prices over 91 days

Description

Explore the fundamental principles of mathematical logic with this authoritative text from Cambridge University Press. Lambda-calculus and combinatory logic, developed in the 1920s, serve as essential linguistic tools for modern programming languages. This thoroughly revised edition builds upon the previous version that served as a primary reference for introductory courses for over 20 years. Readers will gain a clear understanding of the grammar and basic properties of both combinatory logic and lambda-calculus. The text provides a structured approach, moving from foundational concepts to an introduction to type-theory. By examining both typed and untyped versions of these systems, you will learn the specific differences and applications that make these mathematical frameworks so significant in computer science and mathematical foundations.

Key Features

Revised edition of a long-standing academic reference used in introductory courses for over two decades.

Comprehensive coverage of the grammar and basic properties of both combinatory logic and lambda-calculus.

Detailed introduction to type-theory to expand your understanding of mathematical systems.

Comparative analysis of typed and untyped versions of these logical systems and their differences.

Authoritative exposition from Cambridge University Press on essential linguistic tools for programming.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521898854
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 24 July 2008
Listed Since: 19 November 2007

Barcode

No barcode data available

Cambridge University Press Cambridge Lambda-Calculus and Combinators Mathematics Book

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103)

The Lambda Calculus: Its Syntax and Semantics: v. 103 (Studies in Logic and the Foundations of Mathematics)

Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

Cambridge Two-Level Functional Languages - Series 34 Book

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

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)

Mathematics in Programming

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Introduction to Metamathematics (Bibliotheca Mathematica)

Cambridge Higher-Order Categorical Logic - Mathematics Book

Mathematical Logic and Computation

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Introduction to Mathematical Logic (Princeton Landmarks in Mathematics and Physics)

Cambridge Functional Programming Implementation Book - Series 45

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Type Theory and Formal Proof: An Introduction

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

Logic of Computation: SER F / v.157 (NATO ASI)

Combinators, λ-Terms and Proof Theory: 42 (Synthese Library, 42)