|
Записки научных семинаров ЛОМИ, 1968, том 8, страницы 234–259
(Mi znsl2268)
|
|
|
|
Эта публикация цитируется в 25 научных статьях (всего в 26 статьях)
О сложности вывода в исчислении высказываний
Г. С. Цейтин
Образец цитирования:
Г. С. Цейтин, “О сложности вывода в исчислении высказываний”, Исследования по конструктивной математике и математической логике. II, Зап. научн. сем. ЛОМИ, 8, Изд-во «Наука», Ленинград. отд., Л., 1968, 234–259
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2268 https://www.mathnet.ru/rus/znsl/v8/p234
|
|