Related Books

Foundations of Mathematical Logic
Language: en
Pages: 420

Foundations of Mathematical Logic

Authors: Haskell Brooks Curry
Categories: Mathematics
Type: BOOK - Published: 1977-01-01 - Publisher: Courier Corporation

DOWNLOAD EBOOK

Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers
Lambda-Calculus and Combinators
Language: en
Pages: 358

Lambda-Calculus and Combinators

Authors: J. Roger Hindley
Categories: Computers
Type: BOOK - Published: 2008-07-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages.
Outlines of a Formalist Philosophy of Mathematics
Language: en
Pages: 85

Outlines of a Formalist Philosophy of Mathematics

Authors: Haskell Brooks Curry
Categories: Electronic books
Type: BOOK - Published: 1951 - Publisher: Elsevier

DOWNLOAD EBOOK

Introduction to Combinators and (lambda) Calculus
Language: en
Pages: 376

Introduction to Combinators and (lambda) Calculus

Authors: J. R. Hindley
Categories: Mathematics
Type: BOOK - Published: 1986-05-29 - Publisher: CUP Archive

DOWNLOAD EBOOK

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operat
To Mock a Mockingbird
Language: en
Pages: 258

To Mock a Mockingbird

Authors: Raymond M. Smullyan
Categories: Games & Activities
Type: BOOK - Published: 2000 - Publisher: Oxford University Press, USA

DOWNLOAD EBOOK

The author of Forever Undecided, Raymond Smullyan continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of