RelBib: O preobrazovanni klassičeskich vyvodov v intuicionistskie https://relbib.de/Record/1816074233/Description