TY  - JOUR
AU  - O. M. Kastin
TI  - On the use of Ithe language ALGOL 60 in solution of logical problems
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 1970
SP  - 527
EP  - 530
VL  - 10
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_1970_10_2_a28/
LA  - ru
ID  - ZVMMF_1970_10_2_a28
ER  -