О категоричности конечно-порожденных алгебраических систем и HF-логике
В.Я. Беляев; Е.Е. Лютикова; В.Н. Ремесленников; I. Ja. Beljaev
Algebra i Logika (1995)
- Volume: 34, Issue: 1, page 12-32
- ISSN: 0373-9252
Access Full Article
top
How to cite
topБеляев, В.Я., et al. "О категоричности конечно-порожденных алгебраических систем и HF-логике." Algebra i Logika 34.1 (1995): 12-32. <http://eudml.org/doc/187709>.
@article{Беляев1995,
author = {Беляев, В.Я., Лютикова, Е.Е., Ремесленников, В.Н., Beljaev, I. Ja.},
journal = {Algebra i Logika},
keywords = {weak second-order logic; logic of hereditarily finite types; finitely generated algebraic systems; associative ring; arithmetic diagrams},
language = {rus},
number = {1},
pages = {12-32},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {О категоричности конечно-порожденных алгебраических систем и HF-логике},
url = {http://eudml.org/doc/187709},
volume = {34},
year = {1995},
}
TY - JOUR
AU - Беляев, В.Я.
AU - Лютикова, Е.Е.
AU - Ремесленников, В.Н.
AU - Beljaev, I. Ja.
TI - О категоричности конечно-порожденных алгебраических систем и HF-логике
JO - Algebra i Logika
PY - 1995
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 34
IS - 1
SP - 12
EP - 32
LA - rus
KW - weak second-order logic; logic of hereditarily finite types; finitely generated algebraic systems; associative ring; arithmetic diagrams
UR - http://eudml.org/doc/187709
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.