000
00316nam a2200121 4500
008
160616s 000 0
245
_a
Studies in constructive mathematics and mathematical logic
100
_a
Slisenko, A.O. et al
500
_a
B31 K91.1
942
_c
BK
_2
BK925
080
_a
510.6 SLI
080
_a
510.6 SLI
999
_c
925
_d
925