RelBib: O preobrazovanni klassičeskich vyvodov v intuicionistskie

https://relbib.de/Record/1816074233/Description