scientific article; zbMATH DE number 3375475

MaRDI QIDQ5646883zbMATH OpenFDO

Authors Per Martin-Löf

Publication date 1972

Full work available at URL http://www.numdam.org/item?id=CM_1972__24_1_93_0, https://eudml.org/doc/89115

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cites work

• scientific article; zbMATH DE number 3247154 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• scientific article; zbMATH DE number 3327279 (Why is no real title available?)
• Untersuchungen über das logische Schliessen. I

Cited in

(8)

• Closed categories and the theory of proofs
• Completeness of the normal typed fragment of the -system U
• Finite investigations of transfinite derivations
• Theory of proofs (arithmetic and analysis)
• Inductive families
• Coalgebras as types determined by their elimination rules
• Primitive recursive functional with dependent types
• Another paradox in naive set-theory

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 Q5646883)