scientific article; zbMATH DE number 1301732

zbMATH Open0931.03013MaRDI QIDQ4246945FDOQ4246945

Authors: Gilles Dowek 

Publication date: 16 June 1999

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

Recommendations

• Homotopy type theory and the formalization of mathematics
• La théorie intuitionniste des types : sémantique des preuves et théorie des constructions
• Type theory and formalisation of mathematics
• Truth, proof and infinity. A theory of constructions and constructive reasoning

zbMATH Keywords

set theoryfirst-order axiomatization of mathematicsHeyting-Kolmogorov functional interpretation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Foundations of classical theories (including reverse mathematics) (03B30)

Cited In (1)

• 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 Q4246945)