@article{AL_1969_8_1_a4,
author = {A. Tauts},
title = {Nonregular first order predicate calculus},
journal = {Algebra i logika},
pages = {76--92},
year = {1969},
volume = {8},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1969_8_1_a4/}
}
TY - JOUR
AU - A. Tauts
TI - Nonregular first order predicate calculus
JO - Algebra i logika
PY - 1969
SP - 76
EP - 92
VL - 8
IS - 1
UR - http://geodesic.mathdoc.fr/item/AL_1969_8_1_a4/
LA - ru
ID - AL_1969_8_1_a4
ER -
%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
%U http://geodesic.mathdoc.fr/item/AL_1969_8_1_a4/
%G ru
%F AL_1969_8_1_a4
