scientific article; zbMATH DE number 3382322

zbMath0242.02037MaRDI QIDQ5652656

Carlo Cellucci

Publication date: 1972

Full work available at URL: http://www.numdam.org/item?id=ASNSP_1971_3_25_4_649_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Cites Work

• BLICK VON DER INTUITIONISTISCHEN WARTE
• Formalized recursive functionals and formalized realizability
• Formal systems for some branches of intuitionistic analysis
• On the interpretation of intuitionistic number theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item