Robert E. Butts † | Jaakko Hintikka
Logic, Foundations of Mathematics and Computability Theory <Pro>Part One of the Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, August 27--September 2, 1975
