Normal view
MARC view
Slisenko, A O (Personal Name)
Machine generated authority record.
Work cat.: (OSt): Studies in constructive mathematics and mathematical logic /, 1969.