scientific article; zbMATH DE number 3382322

MaRDI QIDQ5652656zbMATH OpenFDO

Authors Carlo Cellucci

Publication date 1972

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

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Cites work

• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3231083 (Why is no real title available?)
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3253161 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3294550 (Why is no real title available?)
• scientific article; zbMATH DE number 3304914 (Why is no real title available?)
• scientific article; zbMATH DE number 3317730 (Why is no real title available?)
• scientific article; zbMATH DE number 3360145 (Why is no real title available?)
• scientific article; zbMATH DE number 3021448 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• BLICK VON DER INTUITIONISTISCHEN WARTE
• Formal systems for some branches of intuitionistic analysis
• Formalized recursive functionals and formalized realizability
• On the interpretation of intuitionistic number 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 Q5652656)