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-03 Historical (must also be assigned at least one classification number from Section 01)

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

Previous Page 3

Displaying 41 – 44 of 44

Showing per page

What was an irrational number to an ancient Greek mathematician?

Jiménez, Douglas (2006)

Boletín de la Asociación Matemática Venezolana

Алгоритмы, алгебры и интуиционистская логика

А.В. Кузнецов (1987)

Matematiceskie issledovanija

Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике

Н.А. Шанин (1995)

Zapiski naucnych seminarov POMI

О работе А. А. Ляпунова по теории множеств

А.Д. Тайманов (1982)

Sibirskij matematiceskij zurnal

Currently displaying 41 – 44 of 44

Previous Page 3

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7