Algebra i logika, Tome 23 (1984) no. 3, pp. 266-277
Citer cet article
L. P. Lisovik. Construction of decidable monadic theories of two successor. Algebra i logika, Tome 23 (1984) no. 3, pp. 266-277. http://geodesic.mathdoc.fr/item/AL_1984_23_3_a1/
@article{AL_1984_23_3_a1,
author = {L. P. Lisovik},
title = {Construction of decidable monadic theories of two successor},
journal = {Algebra i logika},
pages = {266--277},
year = {1984},
volume = {23},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1984_23_3_a1/}
}
TY - JOUR
AU - L. P. Lisovik
TI - Construction of decidable monadic theories of two successor
JO - Algebra i logika
PY - 1984
SP - 266
EP - 277
VL - 23
IS - 3
UR - http://geodesic.mathdoc.fr/item/AL_1984_23_3_a1/
LA - ru
ID - AL_1984_23_3_a1
ER -
%0 Journal Article
%A L. P. Lisovik
%T Construction of decidable monadic theories of two successor
%J Algebra i logika
%D 1984
%P 266-277
%V 23
%N 3
%U http://geodesic.mathdoc.fr/item/AL_1984_23_3_a1/
%G ru
%F AL_1984_23_3_a1
