TY  - JOUR
AU  - Yu. G. Grigor'yan
TI  - An algorithm for the solution of a system of logical equations
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 1962
SP  - 186
EP  - 189
VL  - 2
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_1962_2_1_a23/
LA  - ru
ID  - ZVMMF_1962_2_1_a23
ER  -