Problems in the theory of programming languages : Lecture 1967 international congress for logic, methodology and philosophy of science, amsterdam 29.08.1967