Breve introducción a la lógica formal y la metamatemática
por Alfred Tarski · 1936
Sinopsis
Un texto conciso que presenta fundamentos de la lógica formal, incluyendo la teoría de la demostración y la noción de verdad en sistemas formales.
Sé el primero en valorar este libro.
Más de Alfred Tarski
Ver autor →Otras obras del mismo autor en el catálogo
La Teoria de la Definición
1933
Un Análisis Lógico de la Paradoja del Mentiroso
1935
Elementos de Lógica Matemática y Metamatemática
1936
Conceptos fundamentales de la metamatemática
1936
La Noción de Concepto
1936
A Deduction System for the First-Order Logic
1936
Introduction to Logic
1941
Tarski's System of Logic
1941
Mathematical Logic
1941
A General Theory of Models
1941
Lógica y fundamentos de la matemática
1941
Der Wahrheitsbegriff in den Formalen Sprachen
1944
The Concept of Truth in Formalized Languages
1944
The Semantic Conception of Truth
1944
Essays on the Foundations of Mathematics
1956
Libros similares
Libros relacionados según distintos criterios de búsqueda