scientific article; zbMATH DE number 3506824

zbMath0324.10054MaRDI QIDQ4087300

de Bruijn, N. G.

Publication date: 1976

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

Mathematics Subject Classification ID

Ordered fields (12J15) Real and complex fields (12D99)

Related Items (max. 100)

Constructing the real numbers in HOL ⋮ N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker ⋮ Survey article: The real numbers -- a survey of constructions ⋮ A new set theory for analysis

This page was built for publication: