NOTA A LA SEGUNDA EDICIÓN

Para esta segunda edición se ha revisado el texto, depurándolo de errores; se ha ampliado la bibliografía, y se han introducido cuatro nuevas secciones: El formalismo en la lógica (§ 5 en la nueva numeración); La prueba en la lógica cuantificacional (§ 17); La deducción natural (§ 19) y Los conceptos de validez y de verdad (§ 46).

J.F.M. y H.L.

Bryn Mawr College,
Pennsylvania, EE.UU. de América.