Algebraic Set Theory - pokkari, Englanti, 1995