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

by Lawrence C. Paulson , Krzysztof Grabczewski
Venue:Journal of Automated Reasoning
Citations:16 - 9 self