Computable functions

15 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

Computability and Logic
Cambridge University Press (2007)
CA$31.37

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

Computability and Logic
Cambridge University Press (2002)
CA$26.23

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

Basics Of Contemporary Cryptography For It Practitioners
World Scientific Publishing Company (2005)
CA$48.09

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

Logic and Computation: Interactive Proof with Cambridge LCF

Logic and Computation

Interactive Proof with Cambridge LCF

Cambridge University Press (1990)
CA$54.68

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

Computation and Automata
Cambridge University Press (1985)
CA$68.12

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

Theory of Computation
Wiley (2012)
CA$147.83

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

Handbook of Computability Theory
Elsevier Science (1999)
CA$221.00

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

Computable Structures and the Hyperarithmetical Hierarchy
Elsevier Science (2000)
CA$194.00

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

Computability, Complexity, Logic
Elsevier Science (1989)
CA$81.00

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