000 00316nam a2200121 4500
008 160616s 000 0
245 _aStudies in constructive mathematics and mathematical logic
100 _aSlisenko, A.O. et al
500 _aB31 K91.1
942 _cBK
_2BK925
080 _a510.6 SLI
080 _a510.6 SLI
999 _c925
_d925