|
03-XX - Mathematical logic and foundations [MSC 2020] |
03B05 - Classical propositional logic [MSC 2020] |
03Dxx - Computability and recursion theory [MSC 2020] |
03Cxx - Model theory [MSC 2020] |
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] |
03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
03E10 - Ordinal and cardinal numbers [MSC 2020] |
03B10 - Classical first-order logic [MSC 2020] |