TY  - BOOK
AU  - Butts,Robert E.
AU  - Hintikka,Jaakko
ED  - International Congress of Logic, Methodologyand Philosophy of Science
TI  - Logic, foundations of mathematics and computability theory
SN  - 9027707081 :
U1  -  501 
PY  - 1977///
CY  - Boston
PB  - D. Reidel
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Mathematics
KW  - Philosophy
KW  - Computable functions
ER  -