Title: Definitions
Subjects: Symbolic and mathematical Logic
People: Stanisław Leśniewski (1886-1939), Alfred Tarski (1901-1983)