20Axx
From MSCwiki
[edit]
20Axx Foundations {Info & Stats}
- 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
