Computability and Logic - Boole, George (Cambridge University)