Alfred Tarski and the ``Concept of truth in formalized languages. A running commentary with consideration of the Polish original and the German translation

DOI10.1007/978-3-319-32616-0zbMath1362.03002OpenAlexW2508406761MaRDI QIDQ276960

Monika Gruber

Publication date: 4 May 2016

Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-32616-0

zbMATH Keywords

truthsatisfactionformal language

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)

Related Items (2)

Tarski's theory of the formal correctness of definitions ⋮ Alfred Tarski (1901–1983)

This page was built for publication: Alfred Tarski and the ``Concept of truth in formalized languages. A running commentary with consideration of the Polish original and the German translation