RelBib: Logika propozicionalʹnych programm i logičeskoe programmirovanie https://relbib.de/Record/1816074403/Description