%0 Journal Article
%A A. Tauts
%T Nonregular first order predicate calculus
%J Algebra i logika
%D 1969
%P 76-92
%V 8
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1969_8_1_a4/
%G ru
%F AL_1969_8_1_a4