20Axx |
| Prev: 19 | Up: 20 | Next: 20B | |
Foundations |
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