Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline

by Richard L. Epstein

This highly readable and intuitive introduction to computability theory contains a great many background discussions which introduce the reader to the researched history and philosophical aspects of recursion theory and logic. This book is perfectly suited for class work and individual study, successfully achieving the goal of painlessly introducing technical matter in a readable and stimulating way.

352 pages, Paperback

First published July 12, 1999