Collected papers. Vol. 2, 1935-1944 / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie editors. - Tarski, Alfred (1901-1983) (Contemporary Mathematicians, 1986)