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
  • 03F99 None of the above, but in this section

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 – 2 of 2

Showing per page

Formally self-referential propositions for cut free classical analysis and related systems [Book]

G. Kreisel, G. Takeuti (1974)

From Foundations to Science: Justifying and Unwinding Proofs

Georg Kreisel (1977)

Zbornik Radova

Currently displaying 1 – 2 of 2

Page 1

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7