|
Алгебра и логика. Семинар, 1963, том 2, номер 4, страницы 47–66
(Mi al989)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний
А. В. Кузнецов
Образец цитирования:
А. В. Кузнецов, “О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний”, Алгебра и логика. Семинар, 2:4 (1963), 47–66
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al989 https://www.mathnet.ru/rus/al/v2/i4/p47
|
Статистика просмотров: |
Страница аннотации: | 73 | PDF полного текста: | 48 |
|