Handbook of mathematical logic - Barwise, Jon (Amsterdam : North Holland, 1978)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA