Nová infinitní matematika. III., Reálná čísla a jejich diskretizace - Vopěnka, Petr, 1935-2015 (Univerzita Karlova v Praze, Nakladatelství Karolinum, 2015)