Logic, Symbolic and mathematical

845 titles from eBooks.com

New Releases


Ebook Format


How to Prove It: A Structured Approach

How to Prove It (2nd ed.)

A Structured Approach


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

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

How to Think About Algorithms

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

Computability and Logic

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

Fundamental Solutions in Elastodynamics: A Compendium

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

Algorithmic Puzzles

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

Waves in Oceanic and Coastal Waters

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

The Complete Book of Fun Maths: 250 Confidence-boosting Tricks, Tests and Puzzles

The Complete Book of Fun Maths

250 Confidence-boosting Tricks, Tests and Puzzles

Wiley (2009)

The idea of this book is to help build confidence with maths via a series of tests and puzzles. ...

An Introduction to Gödel's Theorems

Peter Smith examines Gödel's Theorems, how they were established and why they matter.