Исчисление с квантором элементарной эквивалентности
Sibirskij matematiceskij zurnal (1984)
- Volume: 24, Issue: 3, page 136-141
- ISSN: 0037-4466; 1573-9260/e
Access Full Article
top
How to cite
topПинус, А.Г.. "Исчисление с квантором элементарной эквивалентности." Sibirskij matematiceskij zurnal 24.3 (1984): 136-141. <http://eudml.org/doc/62299>.
@article{Пинус1984,
author = {Пинус, А.Г.},
journal = {Sibirskij matematiceskij zurnal},
keywords = {elementary equivalence quantifier; undecidability of theories with generalized quantifiers; quantifiers for comparing structures},
language = {rus},
number = {3},
pages = {136-141},
publisher = {Izd. AN SSSR},
title = {Исчисление с квантором элементарной эквивалентности},
url = {http://eudml.org/doc/62299},
volume = {24},
year = {1984},
}
TY - JOUR
AU - Пинус, А.Г.
TI - Исчисление с квантором элементарной эквивалентности
JO - Sibirskij matematiceskij zurnal
PY - 1984
PB - Izd. AN SSSR
VL - 24
IS - 3
SP - 136
EP - 141
LA - rus
KW - elementary equivalence quantifier; undecidability of theories with generalized quantifiers; quantifiers for comparing structures
UR - http://eudml.org/doc/62299
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.