Algebra logiki i integral´nyje preobrazovanija v krajovych zadačach - Rvačev, Vladimir Logvinovič; Slesarenko, Anatolij Pavlovič (Kijev : Naukova dumka, 1976)
Záznam revízie