MSC results for "03"

**03**(1980-now) Mathematical logic and foundations

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

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

**03-02**(1980-now) Research exposition (monographs, survey articles)

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

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

**03-06**(1980-now) Proceedings, conferences, collections, etc.

**03A**(1980-now) Philosophical aspects of logic and foundations

**03B**(1980-now) General logic

**03C**(1980-now) Model theory

**03D**(1980-now) Computability and recursion theory

**03E**(1980-now) Set theory

**03F**(1980-now) Proof theory and constructive mathematics

**03G**(1980-now) Algebraic logic