%0 Journal Article
%A O. M. Kastin
%T On the use of Ithe language ALGOL 60 in solution of logical problems
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1970
%P 527-530
%V 10
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_1970_10_2_a28/
%G ru
%F ZVMMF_1970_10_2_a28