Perfil de descarga: Lógica y Teoría de Conjuntos - Libro
Detalles:
Lógica de primer orden. Sistemas deductivos formales. Teoría de la recursión. Completitud semántica. Incompletitud. Axiomas de la teoría de conjuntos. Números ordinales y cardinales. Relaciones bien fundadas.