Metamathematische Methoden in der Geometrie

by Schwabhäuser, W., Szmielew, W., Tarski, A.
Published 1983

Cylindric Set Algebras

by Henkin, L., Monk, J. D., Tarski, A., Andreka, H.
Published 1981