Tarski's System of Logic
por Alfred Tarski · 1941
Sinopsis
Este trabajo presenta una axiomatización formal de la lógica, sentando las bases para la semántica formal y la teoría de modelos.
Sé el primero en valorar este libro.
Más de Alfred Tarski
Ver autor →Otras obras del mismo autor en el catálogo
Un Análisis Lógico de la Paradoja del Mentiroso
1935
La Noción de Concepto
1936
A Deduction System for the First-Order Logic
1936
Mathematical Logic
1941
Introduction to Logic
1941
A General Theory of Models
1941
The Semantic Conception of Truth
1944
The Concept of Truth in Formalized Languages
1944
Der Wahrheitsbegriff in den Formalen Sprachen
1944
Logic, Semantics, Metamathematics
1956
Semantic Truth and Formal Languages
1956
Lógica, Semántica, Metamatemática
1956
Lógica y filosofía de la ciencia
1956
Contributions to the Theory of Models
1967
Model Theory
1974
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.