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

£56.20

Chapman and Hall/CRC Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

Name: Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
Brand: Chapman and Hall/CRC
Price: 56.04 GBP
Availability: InStock

Algorithms

Price History & Forecast

Last 76 days • 76 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 76 days • 1 price levels

Days at Price

Price Analysis

Most common price: £56 (76 days, 100.0%)

Price range: £56 - £56

Price levels: 1 different prices over 76 days

Description

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and lambda calculi and presents models and applications to illustrate these connections.

Product Specifications

Brand: Chapman and Hall/CRC
Format: paperback
ASIN: 1032921188
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 14 October 2024
Listed Since: 09 August 2024

Barcode

No barcode data available

Chapman and Hall/CRC Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Handbook of Discrete and Combinatorial Mathematics: Discrete Mathematics and its Applications

Invariant Descriptive Set Theory (Pure and Applied Mathematics)

Automation of Logic (Chapman & Hall/CRC Studies in Informatics Series)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Combinatorial Designs and their Applications: 403 (Chapman & Hall/CRC Research Notes in Mathematics Series)

Applied Combinatorics, Third Edition (Discrete Mathematics and Its Applications)

Lambda-Calculus and Combinators: An Introduction

Invariant Descriptive Set Theory (Pure and Applied Mathematics)

Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Combinatorial Methods with Computer Applications: Discrete Mathematics and Its Applications

Combinatorics and Number Theory of Counting Sequences (Discrete Mathematics and Its Applications)

Introduction to Combinatorics (Discrete Mathematics and Its Applications)

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

Universal Algebra and Applications in Theoretical Computer Science

Mathematical Logic: An Introduction (De Gruyter Textbook)

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Enumerative Combinatorics (Discrete Mathematics and Its Applications)

Mathematical Foundations of Computer Science

Combinatorics of Permutations (Discrete Mathematics and Its Applications)