01A80 Sociology (and profession) of mathematics

03-XX Mathematical logic and foundations

03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

03-01 Instructional exposition (textbooks, tutorial papers, etc.)

03-02 Research exposition (monographs, survey articles)

03-03 Historical (must also be assigned at least one classification number from Section 01)

03-04 Explicit machine computation and programs (not the theory of computation or programming)

03-06 Proceedings, conferences, collections, etc.

03Axx Philosophical aspects of logic and foundations

03A05 Philosophical and critical {For philosophy of mathematics, see also <a href="#code:00A30">00A30</a>}

03A10 Logic in the philosophy of science

03A99 None of the above, but in this section

03B15 Higher-order logic and type theory

03B20 Subsystems of classical logic (including intuitionistic logic)

03B25 Decidability of theories and sets of sentences [See also <a href="#code:11U05">11U05</a>, <a href="#code:12L05">12L05</a>, <a href="#code:20F10">20F10</a>]

03B30 Foundations of classical theories (including reverse mathematics) [See also <a href="#code:03F35">03F35</a>]

03B35 Mechanization of proofs and logical operations [See also <a href="#code:68T15">68T15</a>]

03B40 Combinatory logic and lambda-calculus [See also <a href="#code:68N18">68N18</a>]

03B42 Logics of knowledge and belief (including belief change)

03B45 Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also <a href="#code:03F45">03F45</a>}

03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For proof-theoretic aspects see <a href="#code:03F52">03F52</a>}

03B48 Probability and inductive logic [See also <a href="#code:60A05">60A05</a>]

03B52 Fuzzy logic; logic of vagueness [See also <a href="#code:68T27">68T27</a>, <a href="#code:68T37">68T37</a>, <a href="#code:94D05">94D05</a>]

03B65 Logic of natural languages [See also <a href="#code:68T50">68T50</a>, <a href="#code:91F20">91F20</a>]