Reální čísla - Vít, Pavel 1932-1993 (rz1, 1980)