Pages that link to "Item:Q2834261"
From MaRDI portal
The following pages link to Construction of the system of real numbers (Q2834261):
Displaying 6 items.
- Constructing the real numbers in HOL (Q1334896) (← links)
- A natural construction for the real numbers (Q2165288) (← links)
- A new set theory for analysis (Q2306152) (← links)
- A model of the real number set (Q2730535) (← links)
- Summary of the theory of real numbers with a deductive method (Q2834265) (← links)
- Which numbers are real? (Q2900751) (← links)