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