abczewski. Mechanizing set theory. Cardinal arithmetic and the axiom of choice (1996)

by L C Paulson, K Gr
Venue:In Proceedings of groups—St. Andrews 1985, volume 121 of London Math. Soc. Lecture