Azriel Levy Alfred Tarski's Work in Set Theory. 2-6 1988 53 J. Symb. Log. 1 db/journals/jsyml/jsyml53.html#Levy88