TY  - BOOK
AU  - Slisenko, A.O. et al
TI  - Studies in constructive mathematics and mathematical logic
N1  - B31 K91.1
ER  -