69 titles from eBooks.com

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed....

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

Cambridge University Press (2007)

CA$31.37

Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.

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

Cambridge University Press (2008)

CA$43.02

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

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

Cambridge University Press (2002)

CA$26.23

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

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

Cambridge University Press (1997)

CA$35.85

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

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

Cambridge University Press (2008)

CA$68.12

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

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

Elsevier Science (2005)

CA$60.00

The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten.A flow chart...

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

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

Oxford University Press (2000)

CA$19.96

When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka!" In The Moment of Proof , Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof.This...

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

Cambridge University Press (2001)

CA$39.44

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

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