RelBib: Predikaty realizuemosti dlja teorii množestv s ivtuicionnetskoj Logikoj https://relbib.de/Record/1816074373