DMCA

Mechanising Set Theory: Cardinal Arithmetic and the Axiom of Choice (1995)

by Lawrence C. Paulson , Krzysztof Graàbczewski