Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов учебное пособие для вузов

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Косовский Н. К. Николай Кириллович
اللغة:	الروسية
منشور في:	Ленинград, Изд-во Ленинградского ун-та, 1981
الموضوعات:	приложения математические утверждения моделирование естественные языки логические формы булевы функции предикаты исчисление высказывания программирование теория языки программирования учебные пособия
التنسيق:	كتاب
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=309305

مواد مشابهة