Combinatory logic

69 titles from

New Releases


Ebook Format


Computability and Logic
28,56 €

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

How to Think About Algorithms
36,89 €

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

Computability and Logic
21,42 €

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

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
32,13 €

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

Lambda-Calculus and Combinators: An Introduction
55,93 €

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

46,35 €

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

Math Proofs Demystified
25,41 €

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

18,34 €

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

Structural Proof Theory
34,51 €

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

The EM Algorithm and Extensions
Wiley (2007)
121,99 €

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