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