Set Theory: Techniques and Applications. Curaçao 1995 and Barcelona 1996 Conferences 1998 · ENGLISH · DJVU View details →
Methods in mathematical logic. Proc. of 6th Latin American Symposium on Mathematical Logic, Caracas, Venezuela, 1983 1985 · ENGLISH · DJVU View details →