Este libro recopila ensayos que expenden principios fundamentales de la lógica matemática, alineándose con los fundamentos establecidos por Tarski en 'Lógica formal'.
Lógica formal
por Alfred Tarski · 1936
Ver sugerenciasSinopsis
Un texto clásico que presenta una introducción rigurosa a la lógica matemática, incluyendo la lógica de enunciados y de predicados, y la teoría de conjuntos. Tarski fue un matemático y lógico polaco de gran influencia.
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
El concepto de la verdad en los lenguajes formalizados
1933
La Teoria de la Definición
1933
El concepto de verdad en los lenguajes formalizados
1933
La semántica de la verdad y los lenguajes formalizados
1935
Un Análisis Lógico de la Paradoja del Mentiroso
1935
Introducción a la lógica
1936
La semántica de los lenguajes interpretados
1936
Breve introducción a la lógica formal y la metamatemática
1936
La Noción de Concepto
1936
Elementos de Lógica Matemática y Metamatemática
1936
Conceptos fundamentales de la metamatemática
1936
A Deduction System for the First-Order Logic
1936
Introducción a la Metalógica
1936
Tarski's System of Logic
1941
Libros similares
Libros relacionados según distintos criterios de búsqueda
Explora conceptos de lógica matemática y teoría de conjuntos, profundizando en lo que Tarski introdujo en su obra sobre la verdad y definibilidad.
Sienta las bases para la lógica simbólica y los sistemas formales, aspectos también tratados por Tarski en 'Lógica formal' como teoría de modelos.
Ofrece un enfoque metódico sobre la lógica formal, similar al tratamiento riguroso que Tarski brinda a la lógica de enunciados y predicados.
Presenta fundamentos de la lógica formal y nociones de verdad, continuando el trabajo de Tarski en la teoría de la demostración y modelos.
Introduce conceptos de lógica simbólica y metodología deductiva, reforzando ideas que Tarski expone sobre la lógica y teoría de conjuntos.