Logic, Foundations of mathematics and computability theory
/Part one of the proceedings of the fifth international congress of logic methodology and Philosophy of science London Ontario Canada -1975
- Dordrecht: D Reidel Publishing Company, 1977
- 401p.