Title: Consequences of the axiom of choice
First published: 1998
Description: Disk contains: files for extracting information from the "Consequences of the Axiom of Choice" project.
Subjects: Axiom of choice
LC classification: QA248 .H67 1998