Světonázorové problémy matematiky. 3. díl. Antologie historicky významných textů - Šedivý, Jaroslav 1934-1988 (České vysoké učení technické v Praze, 1985)