Computable functions

15 titles from

New Releases


Ebook Format


Computability and Logic
Cambridge University Press (2007)

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

Computability and Logic
Cambridge University Press (2002)

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)

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)

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

Computation and Automata
Cambridge University Press (1985)

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

Theory of Computation
Wiley (2012)

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

Handbook of Computability Theory
Elsevier Science (1999)

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)

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

Computability, Complexity, Logic
Elsevier Science (1989)

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