| AMS MSC: | 03B05 (Mathematical logic and foundations :: General logic :: Classical propositional logic) |
| | 03B42 (Mathematical logic and foundations :: General logic :: Logic of knowledge and belief) |
| | 03B44 (Mathematical logic and foundations :: General logic :: Temporal logic) |
| | 34G99 (Ordinary differential equations :: Differential equations in abstract spaces :: Miscellaneous) |
| | 39A12 (Difference and functional equations :: Difference equations :: Discrete version of topics in analysis) |
| | 53A40 (Differential geometry :: Classical differential geometry :: Other special differential geometries) |