Computability And Logic Notes