Ambos obras son de Tarski y abordan la formalización de sistemas lógicos, profundizando en axiomas y su relación con la semántica.
A Deduction System for the First-Order Logic
por Alfred Tarski · 1936
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de Alfred Tarski
Ver autor →Otras obras del mismo autor en el catálogo
Formale Axiomatik der Geometrie
1929
La Teoria de la Definición
1933
El concepto de verdad en los lenguajes formalizados
1933
El concepto de la verdad en los lenguajes formalizados
1933
Un Análisis Lógico de la Paradoja del Mentiroso
1935
La semántica de la verdad y los lenguajes formalizados
1935
Introducción a la lógica
1936
La Noción de Concepto
1936
Elementos de Lógica Matemática y Metamatemática
1936
Conceptos fundamentales de la metamatemática
1936
La semántica de los lenguajes interpretados
1936
Breve introducción a la lógica formal y la metamatemática
1936
Introducción a la Metalógica
1936
Lógica formal
1936
Mathematical Logic
1941
Libros similares
Libros relacionados según distintos criterios de búsqueda
La 'Mathematical Logic' complementa la deducción primera al explorar formulaciones matemáticas de conceptos lógicos propuestos por Tarski.