000 00611pam a2200205a 44500
005 20170410162818.0
008 160408b1970 xxu||||| |||| 00| 0 eng d
040 _cIITK
041 _aeng
082 _a510
_bSl37s pt.3
245 1 _aStudies in constructive mathematics and mathematical logic
_cedited by A. O. Slisenko
260 _aNew York
_bConsultants Bureau
_c1971
300 _aviii, 97p
440 _aSeminars in mathematics / edited by V. A. Steklov
440 _av.16
650 _aMathematics
650 _aLogic, Symbolic and mathematical
700 _aSlisenko, A. O. [ed.]
942 _cBK
999 _c256174
_d256174