realizată de Esmeralda Méndez 4 ani în urmă
989
Mai multe ca aceasta
după ANGEL MONTENEGRO
după adalberto pomares rangel
după Andres Contreras griego
după Efren Agudelo
teoremas
demostrabilidad
constructibilidad
intuicionistas
aplicación
prueba de inducción matemática
reglas para cuantificadores
existenciales
universales
cálculo proposicional
observaciones específicas
conclusiones generales
premisas generales
conclusiones específicas
continuo de los números reales
solución satisfactoria
conceptos lógicos
ideas y principios
todas las ciencias
deducciones lógicas