1
by Schwabhäuser, Wolfram, Szmielew, Wanda, Tarski, Alfred
Published 1983
Springer Berlin Heidelberg

2
by Henkin, Leon, Monk, J. Donald, Tarski, Alfred, Andréka, Hajnalka
Published 1981
Springer Berlin Heidelberg