Experimenting with Isabelle in ZF set theory (1993)

by A J Noël
Venue:J. Automated Reasoning