Módulo 1: Asistentes de pruebas para Lógicos y Matemáticos
Perfilado de sección
-
Presentación del curso: 5/3/24.
-
Introducción al curso y cáculo proposicional constructivo y de alto orden
-
-