Combinatory logic

69 titles from

New Releases


Ebook Format


Computability and Logic

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

How to Think About Algorithms

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

Computability and Logic

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

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

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

Lambda-Calculus and Combinators: An Introduction

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


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

Math Proofs Demystified

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


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

Structural Proof Theory

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

The EM Algorithm and Extensions
Wiley (2007)

The only single-source——now completely updated and revised——to offer a unified treatment of the...