Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')
EuDML - The European Digital Mathematics Library

Login | Register | (Why Register?)

  • Home
  • Advanced Search
  • Browse by Subject
  • Browse by Journals
  • Refs Lookup
  • Subjects
  • 03-XX Mathematical logic and foundations
  • 03-06 Proceedings, conferences, collections, etc.

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
  • 03Bxx General logic
  • 03Cxx Model theory
  • 03Dxx Computability and recursion theory
  • 03Exx Set theory
  • 03Fxx Proof theory and constructive mathematics
  • 03Gxx Algebraic logic
  • 03Hxx Nonstandard models
  • Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

There are no documents fulfilling the condition.

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7