Camputability and logic - Boolos George; Jeffrey Richard (Cambridge Cambridge University Press, 1980)
Keywords: Philosophy-Symbolic Logic