Combinatory logic

69 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

Computability and Logic
US$24.99

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

How to Think About Algorithms
US$39.50

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

Computability and Logic
US$24.99

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

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
US$32.50

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

Lambda-Calculus and Combinators: An Introduction
US$53.99

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

US$53.95

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

Math Proofs Demystified
US$21.60

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

US$44.99

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

Structural Proof Theory
US$33.99

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

The EM Algorithm and Extensions
Wiley (2007)
US$142.20

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