Logic, foundations of mathematics and computability theory. Part 1. of the proceed. of the 5. international congress. (D. Reidel Publishing Company, 1977)