TARSKI, ALFRED

On undecidable statements in enlarged systems of logic and the concept of truth. (In: "The Journal Of Symbolic Logic").

(No place), The Association for Symbolic Logic, 1939.

Large 8vo. Bound in blue half cloth with silver lettering to spine. In "Journal of Symbolic Logic", Volume 4. Small paper label to lower part of spine and upper inner margin of front board. Stamp to title-page and last leaf, otherwise internally fine. Pp. 105-112. (Entire copy: (4), 194, (2) pp.).

First appearance of Tarski's important paper that helped the understanding of truth within formal languages. By introducing truth definitions, model theory, and addressing undecidability, Tarski laid the groundwork for rigorous logical analysis.

Order-nr.: 60432