Computable functions

15 titles from
Computability and Logic

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

Computability and Logic

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

Basics Of Contemporary Cryptography For It Practitioners

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


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

Computation and Automata

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

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

Computable Structures and the Hyperarithmetical Hierarchy

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

Computability, Complexity, Logic

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