Combinatory logic

69 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

The Lambda Calculus: Its Syntax and Semantics

The Lambda Calculus (2nd ed.)

Its Syntax and Semantics

Elsevier Science (2013)
CA$147.00

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

Computability and Logic
Cambridge University Press (2007)
CA$31.37

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

How to Think About Algorithms
Cambridge University Press (2008)
CA$43.02

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

Computability and Logic
Cambridge University Press (2002)
CA$26.23

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)
CA$35.85

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)
CA$68.12

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)
CA$60.00

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

Math Proofs Demystified
McGraw-Hill Education (2005)
CA$28.54

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)
CA$19.96

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

Structural Proof Theory
Cambridge University Press (2001)
CA$39.44

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