Logic, Symbolic and mathematical

848 titles from eBooks.com

New Releases


Ebook Format


The Lambda Calculus: Its Syntax and Semantics

The Lambda Calculus (2nd ed.)

Its Syntax and Semantics

Elsevier Science (2013)

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

Forcing for Mathematicians
World Scientific Publishing Company (2014)

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)

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

Mathematics: A Very Short Introduction
OUP Oxford (2002)

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

Computability and Logic
Cambridge University Press (2007)

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

How to Think About Algorithms
Cambridge University Press (2008)

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

Algorithmic Puzzles
Oxford University Press (2011)

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

Computability and Logic
Cambridge University Press (2002)

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

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

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

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

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