1
by Schwabhäuser, W., Szmielew, W., Tarski, A.
Published 1983
Springer Berlin Heidelberg