scientific article; zbMATH DE number 3382322

zbMATH Open0242.02037MaRDI QIDQ5652656FDOQ5652656

Carlo Cellucci

Publication date: 1972

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cites Work

• On the interpretation of intuitionistic number theory
• Formalized recursive functionals and formalized realizability
• Formal systems for some branches of intuitionistic analysis
• BLICK VON DER INTUITIONISTISCHEN WARTE
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)