Single axioms for groups (1992)

by K Kunen
Venue:J. Automat. Reason