000 00552nam a22001457a 4500
020 _a9027707081
082 _a511.3
100 _aBUTTS,Robert E.
245 _aLogic foundations of mathematics and computability theory:
_bpart one of the proceedings of the fifth international congress of logicmethodology and philpsophy of science London Ontario Canada 1975/
_cRobert E. Butts and Jaakko Hintakka
260 _aDorddrech
_bD.Reidelpublishing company
_cc1975
300 _a406p.:
500 _aInclude Index
700 _aJaakko Hintakka
942 _cBK01
999 _c2416
_d2416