scientific article; zbMATH DE number 3506652

MaRDI QIDQ4087148zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1975

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cited in

(1)

• Levels of truth

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4087148)