Jaká je logická výstavba matematiky? - Katětov, Miroslav, 1918-1995 (Praha : Jednota československých matematiků a fysiků, 1950)