15 titles from eBooks.com

Cambridge University Press (2007)

CA$31.37

Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.

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

Cambridge University Press (2002)

CA$26.23

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

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

World Scientific Publishing Company (2005)

CA$48.09

The aim of this book is to provide a comprehensive introduction to cryptography without using complex mathematical constructions. The themes are conveyed in a form that only requires a basic knowledge of mathematics, but the methods are described in sufficient detail to enable their computer implementation. The book describes the main techniques...

The aim of this book is to provide a comprehensive introduction to cryptography without using...

Cambridge University Press (1990)

CA$54.68

This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of...

This book is concerned with techniques for formal theorem-proving, with particular reference to...

Cambridge University Press (1985)

CA$68.12

In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science.

In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to...

Wiley (2012)

CA$147.83

Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do—from the most general model, the URM...

Learn the skills and acquire the intuition to assess the theoretical limitations of computer...

The chapters of this volume all have their own level of presentation. The topics have been chosen...

This book describes a program of research in computable structure theory. The goal is to find...

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of...

Provability, Computability and Reflection

Provability, Computability and Reflection