Mathematical logic - Shoenfield, Joseph Robert 1927- (Reading, Mass. : Addison-Wesley Pub., 1967)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA