Světonázorové problémy v matematice. 1. díl : Matematická logika a formální teorie, ... - Drábek, Jaroslav (Učební texty vysokých škol, 1986)