COLLOQUIUM ON THE FOUNDATIONS OF MATHEMATICS, MATHEMATICAL MACHINES, AND THEIR APPLICATIONS - Kalmar, Laszlo (Budapest Akademiai Kiado, 1965)