|
Алгебра и логика. Семинар, 1963, том 2, номер 1, страницы 5–18
(Mi al974)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
И. А. Лавров
Поступило: 26.01.1963
Образец цитирования:
И. А. Лавров, “Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий”, Алгебра и логика. Семинар, 2:1 (1963), 5–18
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al974 https://www.mathnet.ru/rus/al/v2/i1/p5
|
Статистика просмотров: |
Страница аннотации: | 96 | PDF полного текста: | 53 |
|