Principles of Logic and Logic Programming by G. Metakides & A. Nerode