|
03B70 - Logic in computer science [MSC 2020] |
03C13 - Model theory of finite structures [MSC 2020] |
03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
11B37 - Recurrences [MSC 2020] |
11J71 - Distribution modulo one [MSC 2020] |
11Y55 - Calculation of integer sequences [MSC 2020] |
34Kxx - Functional-differential equations [MSC 2020] |
35Fxx - General first-order partial differential equations and systems of first-order partial differential equations [MSC 2020] |
39-XX - Difference and functional equations [MSC 2020] |
39Axx - Difference equations [MSC 2020] |