scientific article; zbMATH DE number 3118550

MaRDI QIDQ3233328zbMATH OpenFDO

Authors H. A. Thurston

Publication date 1956

Mathematics Subject Classification ID

Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06)

Cited in

(8)

• Constructing the real numbers in HOL
• Number systems and repartition
• scientific article; zbMATH DE number 3121699 (Why is no real title available?)
• scientific article; zbMATH DE number 3904528 (Why is no real title available?)
• scientific article; zbMATH DE number 1285979 (Why is no real title available?)
• scientific article; zbMATH DE number 1488315 (Why is no real title available?)
• scientific article; zbMATH DE number 918326 (Why is no real title available?)
• scientific article; zbMATH DE number 6287641 (Why is no real title available?)

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