Logic, foundations of mathematics and computability theory - International Congress of Logic, Methodologyand Philosophy of Science 1975, 27 Aug. - 2 Sep. : University of Western Ontario); Butts, Robert E.; Hintikka, Jaakko, 1929- (Boston : D. Reidel, 1977)
Keywords: Logic, Symbolic and mathematical -- Congresses; Mathematics -- Philosophy -- Congresses; Computable functions -- Congresses