TY  - BOOK
AU  - BUTTS,Robert E.
AU  - Jaakko Hintakka
TI  - Logic foundations of mathematics and computability theory: part one of the proceedings of the fifth international congress of logicmethodology and philpsophy of science London Ontario Canada 1975
SN  - 9027707081
U1  - 511.3 
PY  - 1975///
CY  - Dorddrech
PB  - D.Reidelpublishing company
N1  - Include Index
ER  -