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

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

Document Versions

Mechanizing set theory: Cardinal arithmetic and the axiom of choice –Lawrence C. Paulson, Krzysztof Grabczewski — 1996 — Journal of Automated Reasoning
Mechanizing Set Theory - Cardinal Arithmetic and the Axiom of Choice –Lawrence C. Paulson, Krzysztof Grabczewski — 2000 — Journal of Automated Reasoning
Mechanizing Set Theory - Cardinal Arithmetic and the Axiom of Choice –Lawrence C. Paulson, Krzysztof Grabczewski — 1996 — Journal of Automated Reasoning
Mechanizing set theory: cardinal arithmetic and the axiom of choice –Lawrence C. Paulson, Krzysztof Grabczewski — 1996 — Journal of Automated Reasoning
Mechanizing set theory: cardinal arithmetic and the axiom of choice –Lawrence C. Paulson, Krzysztof Grabczewski — 1996 — Journal of Automated Reasoning