Portada de A Deduction System for the First-Order Logic

A Deduction System for the First-Order Logic

por Alfred Tarski · 1936

Sinopsis

Sé el primero en valorar este libro.

Más de Alfred Tarski

Otras obras del mismo autor en el catálogo

Portada de Un Análisis Lógico de la Paradoja del Mentiroso

Un Análisis Lógico de la Paradoja del Mentiroso

1935

Portada de Introduction to Logic

Introduction to Logic

1941

Portada de A General Theory of Models

A General Theory of Models

1941

Portada de Mathematical Logic

Mathematical Logic

1941

Portada de The Semantic Conception of Truth

The Semantic Conception of Truth

1944

Portada de The Concept of Truth in Formalized Languages

The Concept of Truth in Formalized Languages

1944

Portada de Der Wahrheitsbegriff in den Formalen Sprachen

Der Wahrheitsbegriff in den Formalen Sprachen

1944

Portada de Logic, Semantics, Metamathematics

Logic, Semantics, Metamathematics

1956

Portada de Semantic Truth and Formal Languages

Semantic Truth and Formal Languages

1956

Portada de Contributions to the Theory of Models

Contributions to the Theory of Models

1967

Portada de Model Theory

Model Theory

1974

Portada de Linguistic and Philosophical Problems in the Theory of Models

Linguistic and Philosophical Problems in the Theory of Models

1975

Portada de Philosophical Papers

Philosophical Papers

1979

Portada de The Categorical Imperative and the Concept of Truth

The Categorical Imperative and the Concept of Truth

1981

Portada de Truth and Proof

Truth and Proof

1983

Libros similares

Libros relacionados según distintos criterios de búsqueda