Filename: | 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 by Yu. L. Ershov (auth.) Robert E. Butts Jaakko Hintikka (eds.).pdf |