(No place), The Association for Symbolic Logic, 1941. Large 8vo. Bound in blue half cloth with silver lettering to spine. In ""Journal of Symbolic Logic"", Volume 5. 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. 73-89. (Entire copy: (4), 188 pp.).
First appearance of Tarski's groundbreaking work in mathematical logic. Published in 1941, it revolutionized the study of relations by introducing a formal calculus that provided a rigorous foundation for understanding and reasoning about relations.By introducing a formal calculus, Tarski provided mathematicians with a rigorous framework for reasoning about relations, leading to advancements in diverse fields of mathematics and beyond. His contributions laid the groundwork for the exploration of abstract algebra, order theory, and model theory, and found practical applications in computer science.