20A05 Axiomatics and elementary properties
20A10 Metamathematical considerations {For word problems, see 20F10}
20A15 Applications of logic to group theory
20A99 None of the above, but in this section