Rudimientos de logica matemática - Peña, Lorenzo (Consejo Superior de Investigaciones Cientificas, 1991)