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
  • 03Fxx Proof theory and constructive mathematics
  • 03F50 Metamathematics of constructive systems

03Fxx Proof theory and constructive mathematics

  • 03F03 Proof theory, general
  • 03F05 Cut-elimination and normal-form theorems
  • 03F07 Structure of proofs
  • 03F10 Functionals in proof theory
  • 03F15 Recursive ordinals and ordinal notations
  • 03F20 Complexity of proofs
  • 03F25 Relative consistency and interpretations
  • 03F30 First-order arithmetic and fragments
  • 03F35 Second- and higher-order arithmetic and fragments
  • 03F40 Gödel numberings and issues of incompleteness
  • 03F45 Provability logics and related algebras (e.g., diagonalizable algebras)
  • 03F50 Metamathematics of constructive systems
  • 03F52 Linear logic and other substructural logics
  • 03F55 Intuitionistic mathematics
  • 03F60 Constructive and recursive analysis
  • 03F65 Other constructive mathematics
  • 03F99 None of the above, but in this section
  • 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

Page 1

Displaying 1 – 3 of 3

Showing per page

Базы допустимых правил логик S4 и Int

В.В. Рыбаков (1985)

Algebra i Logika

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

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

Zapiski naucnych seminarov POMI

Критерий допустимости правил в модальной системе S4 и интуиционистской логике.

В.В. Рыбаков (1984)

Algebra i Logika

Currently displaying 1 – 3 of 3

Page 1

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7