%0 Journal Article %A Yu. G. Grigor'yan %T An algorithm for the solution of a system of logical equations %J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki %D 1962 %P 186-189 %V 2 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZVMMF_1962_2_1_a23/ %G ru %F ZVMMF_1962_2_1_a23