Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors) ; : Germany, : U.S.. -- Springer-Verlag, c1987. -- (Perspectives in mathematical logic . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6).