Computability and logic - Boolos, George; Jeffrey, Richard (Gran Bretaña : Cambridge University Press, 1980)
Keywords: LOGICA; LOGICA MATEMATICA