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 integrid...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.
