No. 37 (1995): RS-37 Experiments with ZF Set Theory in HOL and Isabelle

Published: 1995-06-07