Knihy na dvou kontinentech O knihovně Kurta Gödela - Procházka, Jiří