TY  - GEN
AU  - Butts, Robert E [ed.]
AU  - Hintikka, Jaakko [ed.]
ED  - International Congress of Logic, Methodology and Philosophy of Science
TI  - LOGIC, FOUNDATIONS OF MATHEMATICS, AND COMPUTABILITY THEORY
U1  - 511.3 
PY  - 1977///
CY  - Dordrecht
PB  - D. Reidel Publishing Co.
ER  -