Computability and Logic - Boolos/Burgess/Jeffrey (Cambridge University Press, 2012)
Keywords: Philosophy