|
Алгебра и логика. Семинар, 1962, том 1, номер 3, страницы 24–38
(Mi al958)
|
|
|
|
Эффективная неотделимость множества тождественно истинных и
множества конечно oпpoвержимых формул элементарной теории
структур
М. А. Тайцлин
Поступило: 14.05.1962
Образец цитирования:
М. А. Тайцлин, “Эффективная неотделимость множества тождественно истинных и
множества конечно oпpoвержимых формул элементарной теории
структур”, Алгебра и логика. Семинар, 1:3 (1962), 24–38
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al958 https://www.mathnet.ru/rus/al/v1/i3/p24
|
Статистика просмотров: |
Страница аннотации: | 52 | PDF полного текста: | 32 |
|