Computable functions

14 titles from eBooks.com
Computability and Logic
US$24.99

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

Computability and Logic
US$24.99

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

Logic and Computation: Interactive Proof with Cambridge LCF

Logic and Computation

Interactive Proof with Cambridge LCF

US$55.99

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

Computation and Automata
US$66.50

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

Theory of Computation
Wiley (2012)
US$118.80

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

Handbook of Computability Theory
US$200.00

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

Computable Structures and the Hyperarithmetical Hierarchy
US$175.00

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

Computability, Complexity, Logic
US$72.95

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

Computability Theory: An Introduction to Recursion Theory, Students Solutions Manual (e-only)

Computability Theory

An Introduction to Recursion Theory, Students Solutions Manual (e-only)

US$9.99

Computability Theory:  An Introduction to Recursion Theory,  provides a concise, comprehensive, and...