TY  - BOOK
AU  - Galindo Marchenes, Franklin César
TI  - Algunos Métodos de la lógica: Y una revisión critica de los mismos en relación con los fundamentos de las matemáticas 
PY  - 2014///
KW  - LÓGICA MATEMÁTICA
KW  - MÉTODOS
KW  - MODELOS MATEMÁTICOS
N1  - Mecanografiado; Referencias Bibliograficas; Trabajo de ascenso (Asociado) -- Universidad Central de Venezuela
N2  - El objetivo de este trabajo es presentar algunos métodos de la Lógica y realizar una revisión crítica de los mismos en relación con los fundamentos de las matemáticas. Entre dichos métodos se encuentran : forma normal prenexa, la demostración de Church de Teorema de completitud Gòdel que usa Forma normal de Skolem, la teoria de Axiomática de Conjuntos de Zermelo-Fruenkel. El Teorema del Colapso Transitivo de Mostowski, el Principio de Reflexión, el Principio de Introducción Matemática, la Técnica de Forcing, etc
ER  -