Collected papers. Vol. 3, 1945-1957 / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie eds. - Tarski, Alfred (1901-1983) (Contemporary Mathematicians, 1986)