Logic

2837 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

Type Theory and Formal Proof: An Introduction
Cambridge University Press (2014)
CA$71.19

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on...

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
Cambridge University Press (1997)
CA$36.98

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

How to Prove It: A Structured Approach

How to Prove It (2nd ed.)

A Structured Approach

Cambridge University Press (2006)
CA$37.26

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

Logic For Dummies
Wiley (2007)
CA$19.50

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

Alan M. Turing: Centenary Edition

Alan M. Turing

Centenary Edition

Sara Turing, Martin Davis and 2 more...
Cambridge University Press (2012)
CA$12.94

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

The Description Logic Handbook: Theory, Implementation and Applications

The Description Logic Handbook

Theory, Implementation and Applications

Franz Baader, Diego Calvanese and 3 more...
Cambridge University Press (2003)
CA$115.18

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

An Introduction to Non-Classical Logic: From If to Is
Cambridge University Press (2008)
CA$34.21

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

An Introduction to Gödel's Theorems
Cambridge University Press (2013)
CA$33.28

A clear and accessible treatment of Gödel's famous, intriguing, but much misunderstood...

The Description Logic Handbook: Theory, Implementation and Applications

The Description Logic Handbook (2nd ed.)

Theory, Implementation and Applications

Franz Baader, Diego Calvanese and 3 more...
Cambridge University Press (2010)
CA$67.49

A unique reference in the field of knowledge representation, now available in paperback.

Computational Complexity: A Modern Approach
Cambridge University Press (2009)
CA$60.09

New and classical results in computational complexity, including interactive proofs, PCP,...