Faithin Omaha eBook Collection

A mathematically sophisticated introduction to Turing's theory, Boolean functions, automata, and formal languages.

Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers a

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical conte

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of comp

A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models