Kolokvium o základech matematiky a o matematických strojích v Maďarsku. (Czech) [Colloquium on fundamentals of mathematics and on mathematical machines in Hungary]. Pokroky matematiky, fyziky a astronomie, vol. 8 (1963), issue 1, pp. 36-37