Proceedings of the International Colloquium in the Philosophy of Science
Studies in logic and the foundations of mathematics
1967-1970