Notes on constructive set theory. Available from the WWW (1997)

by Peter Aczel