Experimenting with Isabelle in ZF set theory (1993)

by Philippe No»el
Venue:Journal of Automated Reasoning