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

£49.99

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

Name: The Lambda Calculus: Its Syntax and Semantics: v. 103 (Studies in Logic and the Foundations of Mathematics)
Brand: North Holland
Price: 49.99 GBP
Availability: InStock

History of Mathematics

It has never been this cheap. We have no record of a lower price.

£50 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

↓ 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 74 days · 74 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 74 days • 1 price levels

Days at Price

Price Analysis

Most common price: £50 (74 days, 100.0%)

Price range: £50 - £50

Price levels: 1 different prices over 74 days

Description

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

Product Specifications

Brand: North Holland
Format: paperback
ASIN: 0444875085
Category: Books > Subjects > Science, Nature & Maths > Mathematics > History of Mathematics
Domain: Amazon UK
Release Date: 11 September 2014
Listed Since: 13 February 2007

Barcode

No barcode data available

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

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Lambda-Calculus and Combinators: An Introduction

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

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)

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

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

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

Cambridge Two-Level Functional Languages - Series 34 Book

Mathematics in Programming

Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

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

Concepts in Programming Languages

Mathematical Logic and Computation

Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday: 8222 (Lecture Notes in Computer Science, 8222)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Semantics and Logics of Computation: 14 (Publications of the Newton Institute, Series Number 14)

Introduction to Mathematical Logic (Princeton Mathematical Series, 17)

Springer - Logic and Lexicon: The Semantics of the Indefinite 56

Logic And Language Models For Computer Science (fourth Edition): 4th Edition

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics, Series Number 82)

FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (Advances In Logic)