Zentralblatt MATH

2 Mathematical logic and foundations01A70 Biographies, obituaries, personalia,bibliographies01A72 Schools of mathematics01A73 Universities01A74 Other institutions and academies01A75 Collected or selected works;reprintings or translations of classics[See also 00B60]01A80 Sociology (and profession) ofmathematics01A85 Historiography01A90 Bibliographic studies01A99 Miscellaneous topics03-XX Mathematical logic andfoundations03-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 leastone classification number from Section01)03-04 Explicit machine computation and programs(not the theory of computation orprogramming)03-06 Proceedings, conferences, collections,etc.03Axx Philosophical aspects of logicand foundations03A05 Philosophical and critical (For philosophyof mathematics, see also 00A30)03A10 Logic in the philosophy of science03A99 None of the above, but in this section03Bxx General logic03B05 Classical propositional logic03B10 Classical first-order logic03B15 Higher-order logic and type theory03B20 Subsystems of classical logic(including intuitionistic logic)03B22 Abstract deductive systems03B25 Decidability of theories and sets of sentences[See also 11U05, 12L05, 20F10]03B30 Foundations of classical theories(including reverse mathematics) [Seealso 03F35]03B35 Mechanization of proofs and logical operations[See also 68T15]03B40 Combinatory logic and lambda-calculus[See also 68N18]03B42 Logics of knowledge and belief(including belief change)03B44 Temporal logic03B45 Modal logic (including the logic ofnorms) (For knowledge and belief, see03B42; for temporal logic, see 03B44; forprovability logic, see also 03F45)03B47 Substructural logics (including relevance,entailment, linear logic, Lambekcalculus, BCK and BCI logics) (For prooftheoreticaspects see 03F52)03B48 Probability and inductive logic [See also60A05]03B50 Many-valued logic03B52 Fuzzy logic; logic of vagueness[See also 68T27, 68T37, 94D05]03B53 Paraconsistent logics03B55 Intermediate logics03B60 Other nonclassical logic03B62 Combined logics03B65 Logic of natural languages[See also 68T50, 91F20]03B70 Logic in computer science[See also 68-XX]03B80 Other applications of logic03B99 None of the above, but in this section03Cxx Model theory03C05 Equational classes, universal algebra[See also 08Axx, 08Bxx, 18C05]03C07 Basic properties of first-order languagesand structures03C10 Quantifier elimination, model completenessandrelated topics03C13 Finite structures [See also 68Q15, 68Q19]03C15 Denumerable structures03C20 Ultraproducts and related constructions03C25 Model-theoretic forcing03C30 Other model constructions03C35 Categoricity and completeness of theories03C40 Interpolation, preservation, definability03C45 Classification theory, stability and relatedconcepts [See also 03C48]