Computability and logic - Boolos, George S., Burgess, John P. and Jeffrey, Richard C. (Cambridge, 2007)
Keywords: Philosophy