Professor Specker in Prague
After the lecture: Prof. Specker with Prof. Hajek and Prof. Nesetril