Single axioms for groups (1992)

by K Kunen
Venue:fitelson.org Presented @ Berkeley 03/21/03 Branden Fitelson Recent Results Obtained Via Automated Reasoning 19