848 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....

World Scientific Publishing Company (2014)

CA$31.26

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In...

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the...

Cambridge University Press (2006)

CA$32.27

This new edition of Daniel J. Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.

This new edition of Daniel J. Velleman's successful textbook contains over 200 new exercises,...

This book aims to explain, in clear non-technical language,what it is that mathematicians do, and...

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...

Oxford University Press (2011)

CA$23.77

Algorithmic puzzles are puzzles involving well-defined procedures for solving problems. This book will provide an enjoyable and accessible introduction to algorithmic puzzles that will develop the reader's algorithmic thinking.

Algorithmic puzzles are puzzles involving well-defined procedures for solving problems. This book...

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 (2006)

CA$47.50

This work contains fundamental solutions for classical, canonical, elastodynamics problems using common format and notation.

This work contains fundamental solutions for classical, canonical, elastodynamics problems using...

Cambridge University Press (2010)

CA$51.09

Describes physical and statistical aspects of waves for graduates, researchers and engineers.

Describes physical and statistical aspects of waves for graduates, researchers and engineers.