Author: Martin Davis and Adele Uphaus