Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

Tabla de Contenidos

( \newcommand{\kernel}{\mathrm{null}\,}\)

Sets, Logic, Computation es un libro de texto introductorio sobre metalogic. Abarca la teoría de conjuntos ingenua, la lógica de primer orden, el cálculo secuencial y la deducción natural, la integridad, compacidad y teoremas de Löwenheim-Skolem, máquinas de Turing y la indecibilidad del problema de detención y de la lógica de primer orden. El público es estudiantes de pregrado con cierta formación en lógica formal.

Tabla de Contenidos is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

Support Center

How can we help?