137–192. (ISSN 0185-6200) 2007. Sobre consistencia y completitud en el sistema axiomático. Discusión sobre la ponencia del Sr. Gödel. Protocolo del 15 de enero...
22 KB (2,265 words) - 13:06, 9 October 2024
de doctorat thesis). Paris 4. Ramos-Izquierdo, Eduardo (1976). El sistema axiomático en la lógica formal desde Aristóteles hasta Frege, tesis para obtener...
11 KB (1,079 words) - 23:01, 28 December 2023