EM

Elliott Mendelson

estadounidense

Elliott Mendelson es un destacado autor y educador estadounidense, conocido por su trabajo en matemáticas y lógica. Ha contribuido significativamente a la enseñanza de estas disciplinas a través de sus textos académicos.

Obras en el archivo

3 títulos

Este texto es una introducción estándar y completa a los temas principales de la lógica matemática, incluyendo el cálculo proposicional, el cálculo de predicados, y las teorías de modelos y de la recursión.

Texto clásico que introduce los fundamentos de la teoría de conjuntos y la lógica matemática, cubriendo lógica proposicional, de primer orden, axiomas de Zermelo-Fraenkel y los teoremas de incompletitud de Gödel.

Un texto estándar y riguroso que introduce los principales conceptos y resultados de la lógica matemática, incluyendo la lógica proposicional, de predicados, formalismos axiomáticos y teoremas de completitud.

Autores relacionados

Aparecen junto a Elliott Mendelson en búsquedas del archivo