On Group-Theoretic Decision Problems and Their Classification. (Annals of Mathematics Studies, No. 68)