Logic, Semantics, Metamathematics
por Alfred Tarski · 1956
Sinopsis
Este libro reúne una serie de ensayos sobre lógica matemática, la teoría de modelos y la semántica, explorando conceptos fundamentales y la relación entre la lógica y la verdad en el lenguaje formal.
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
A Deduction System for the First-Order Logic
1936
Mathematical Logic
1941
Introduction to Logic
1941
A General Theory of Models
1941
Der Wahrheitsbegriff in den Formalen Sprachen
1944
The Semantic Conception of Truth
1944
The Concept of Truth in Formalized Languages
1944
Semantic Truth and Formal Languages
1956
Contributions to the Theory of Models
1967
Model Theory
1974
Linguistic and Philosophical Problems in the Theory of Models
1975
Philosophical Papers
1979
The Categorical Imperative and the Concept of Truth
1981
Truth and Proof
1983
Libros similares
Libros relacionados según distintos criterios de búsqueda