2896 titles from eBooks.com

New Releases


Ebook Format


Burden of Proof, Presumption and Argumentation
Cambridge University Press (2014)
20,23 €

This book explains how burden of proof and presumption work as powerful devices in argumentation,...

Abstract Recursion and Intrinsic Complexity
Cambridge University Press (2018)
103,53 €

Presents a new framework for the complexity of algorithms, for all readers interested in the theory...

The Lambda Calculus: Its Syntax and Semantics

The Lambda Calculus (2nd ed.)

Its Syntax and Semantics

Elsevier Science (2013)
120,19 €

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

Applied Combinatorics
CRC Press (2009)
47,54 €

Now with solutions to selected problems, Applied Combinatorics, Second Edition presents the tools...

Forcing for Mathematicians
World Scientific Publishing Company (2014)
28,05 €

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the...

An Invitation to Model Theory
Cambridge University Press (2019)
29,75 €

An innovative and largely self-contained textbook bringing model theory to an undergraduate...

How to Prove It: A Structured Approach

How to Prove It (2nd ed.)

A Structured Approach

Cambridge University Press (2006)
30,94 €

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

Logic For Dummies
Wiley (2007)
13,99 €

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)
10,71 €

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)
92,82 €

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