Mechanizing set theory (1991)

by F Corella