03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations 103
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations 2042
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 2842
03-03 History of mathematical logic and foundations [Consider also classification numbers from Section 01-XX] 4923
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations 2777
03A05 Philosophical and critical aspects of logic and foundations {For philosophy of mathematics, see also 00A30} 13999
03B45 Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45} 9247
03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For proof-theoretic aspects, see 03F52} 1748
03D05 Automata and formal grammars in connection with logical questions [See also 68Q45, 68Q70, 68R15] 2381
03D15 Complexity of computation (including implicit computational complexity) [See also 68Q15, 68Q17] 3114
03D40 Word problems, etc. in computability and recursion theory [See also 06B25, 08A50, 20F10, 68R15] 653
03D45 Theory of numerations, effectively presented structures [See also 03C57] {For intuitionistic and similar approaches, see 03F55} 1793
03F45 Provability logics and related algebras (e.g., diagonalizable algebras) [See also 03B45, 03G25, 06E25] 381