1838 titles from eBooks.com

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

How to Solve It

A New Aspect of Mathematical Method


A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any...

Introducing Logic

A Graphic Guide

Dan Cryan, Sharron Shatil and 1 more...

Follows the historical development of logic, explains the symbols and methods involved and explores...

OUP Oxford (2011)

Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a...


A broad introduction to the subject; many exercises with full solutions are provided.

How to Prove It

A Structured Approach


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

Wiley (2007)

Logic concepts are more mainstream than you may realize. There’s logic every place you look and in...

Alan M. Turing

Centenary Edition

Sara Turing, Martin Davis and 2 more...

Containing never-before-published material, this fascinating account sheds new light on one of the...

The Description Logic Handbook

Theory, Implementation and Applications

Franz Baader, Diego Calvanese and 3 more...

The Description Logic Handbook - unique reference in field of knowledge representation.


This book clearly introduces the major topics in logic and their relation to current philosophical...