Logic, Symbolic and mathematical

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

Forcing for Mathematicians
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...

How to Prove It: A Structured Approach

How to Prove It (2nd ed.)

A Structured Approach

Cambridge University Press (2006)
CA$32.27

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

Mathematics: A Very Short Introduction
OUP Oxford (2002)
CA$9.50

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

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

Algorithmic Puzzles
Oxford University Press (2011)
CA$23.77

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

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

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

Fundamental Solutions in Elastodynamics: A Compendium
Cambridge University Press (2006)
CA$47.50

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

Waves in Oceanic and Coastal Waters
Cambridge University Press (2010)
CA$51.09

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