%0 Journal Article
%A Yu. Sh. Gurevich
%T Effective recognition of realizability of formulae of the
%J Algebra i logika
%D 1966
%P 25-55
%V 5
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1966_5_2_a1/
%G ru
%F AL_1966_5_2_a1