Combinatory Logic - Pure, Applied and Typed (Hardcover, New)

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.

General

Imprint:	Taylor & Francis
Country of origin:	United States
Series:	Discrete Mathematics and Its Applications
Release date:	July 2011
First published:	2011
Authors:	Katalin Bimbo
Dimensions:	234 x 156 x 21mm (L x W x T)
Format:	Hardcover
Pages:	357
Edition:	New
ISBN-13:	978-1-4398-0000-3
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory
LSN:	1-4398-0000-6
Barcode:	9781439800003

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!