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

### Cached

### Download Links

by
Lawrence C. Paulson
,
Krzysztof Grabczewski

Venue: | Journal of Automated Reasoning |

Citations: | 16 - 9 self |