Н. М. Нагорный, “Г. Ассep. Введение в математическую логику. Ч. I. Исчисление высказываний; Ч. II. Исчисление предикатов первой ступени. Рецензия”, Ж. вычисл. матем. и матем. физ., 1976, том 16, номер 3,страницы 815

ЖУРНАЛЫ // Журнал вычислительной математики и математической физики // Архив

Ж. вычисл. матем. и матем. физ., 1976, том 16, номер 3, страницы 815–816 (Mi zvmmf9298)

Научная информация

Г. Ассep. Введение в математическую логику. Ч. I. Исчисление высказываний; Ч. II. Исчисление предикатов первой ступени. Рецензия

Н. М. Нагорный

УДК: 51.01:164(02)

Полный текст: PDF файл (321 kB)

Англоязычная версия: USSR Computational Mathematics and Mathematical Physics, 1976, 16:3, 271–272