Combinatory logic

69 titles from

New Releases


Ebook Format


The Lambda Calculus: Its Syntax and Semantics

The Lambda Calculus (2nd ed.)

Its Syntax and Semantics

Elsevier Science (2013)

The revised edition contains a new chapter which provides an elegant description of the semantics....

Computability and Logic
Cambridge University Press (2007)

Computability and Logic is a classic because of its accessibility to students without a mathematical...

How to Think About Algorithms
Cambridge University Press (2008)

Textbook that teaches students how to think about algorithms like an expert, without getting bogged...

Computability and Logic
Cambridge University Press (2002)

Now in its fourth edition, this book on logic has been enhanced and rewritten.

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
Cambridge University Press (1997)

The purpose of this book is to introduce the basic ideas of mathematical proof and reasoning to...

Lambda-Calculus and Combinators: An Introduction
Cambridge University Press (2008)

This book gives an account of combinatory logic and lambda-calculus models.

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs

The Nuts and Bolts of Proofs (3rd ed.)

An Introduction to Mathematical Proofs

Elsevier Science (2005)

The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing...

Math Proofs Demystified
McGraw-Hill Education (2005)

Almost every student has to study some sort of mathematical proofs, whether it be in geometry,...

The Moment of Proof: Mathematical Epiphanies

The Moment of Proof

Mathematical Epiphanies

Oxford University Press (2000)

When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through...

Structural Proof Theory
Cambridge University Press (2001)

A concise introduction to structural proof theory, a branch of logic studying the general structure...