Lógica y lenguajes

Daniel Clemente Laboreo.

Diciembre 2005

Resumen:

En esta obra estudiaré los diferentes lenguajes que se han usado en la historia para hacer lógica: lógica de primer orden, de órdenes superiores, clásica, lógica ilógica, y otros. Hablaré especialmente del más común de todos -el lenguaje natural- pero también de lenguajes artificiales, a menudo considerados como ``más lógicos''.

En catalán: XHTML, PostScript. En español: XHTML, PostScript.     Código fuente, Licencia.