|
Журнал вычислительной математики и математической физики, 1976, том 16, номер 3, страницы 815–816
(Mi zvmmf9298)
|
|
|
|
Научная информация
Г. Ассep. Введение в математическую логику. Ч. I. Исчисление высказываний; Ч. II. Исчисление предикатов первой ступени. Рецензия
Н. М. Нагорный
Образец цитирования:
Н. М. Нагорный, “Г. Ассep. Введение в математическую логику. Ч. I. Исчисление высказываний; Ч. II. Исчисление предикатов первой ступени. Рецензия”, Ж. вычисл. матем. и матем. физ., 16:3 (1976), 815–816; U.S.S.R. Comput. Math. Math. Phys., 16:3 (1976), 271–272
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf9298 https://www.mathnet.ru/rus/zvmmf/v16/i3/p815
|
Статистика просмотров: |
Страница аннотации: | 217 | PDF полного текста: | 96 | Первая страница: | 1 |
|