Search
Now showing items 1-1 of 1
Reglas estructurales y análisis de la consecuencia lógica
(Universidad Nacional de Córdoba, 1999-07)
La semántica formal de valores de verdad para la lógica de primer orden, tal como fue fundada por Alfred Tarski, es considerada por muchos como la herramienta formal adecuada para reconstruir la verdad lógica y la relación ...