The final exam will be a take-home exam distributed on Tuesday, May 13, and due at noon on Monday, May 19. George S. Boolos, John P. Burgess, Richard C. Jeffrey. Computability and Logic. Cambridge ...