Title: COMPUTABILITY AND LOGIC