A Study of Logic and Programming via Turing Machines

by Jerry M. Lodder