Логики Лукасевича и простые числа

Логики Лукасевича и простые числа

Bibliographic Details
Main Author: Карпенко, Александр Степанович 1946-
Other Authors: Финн, Виктор Константинович 1933- (Editor)
Format: Book
Language:Russian
Published: М. Наука 2000
Subjects:
конечнозначные логики.
функциональные свойства.
логические термины.
логические исчисления.
корневые деревья.
порождение классов.
алгоритмы.
характеризация простых чисел.
степени простых чисел.
степени четных чисел.
степени нечетных чисел.
матричная логика.
структурализация.
логика высказываний.
Шеффера штрих.
логические системы формальные.
компьютерные программы.
Online Access:Перейти в каталог НБ ТГУ

Similar Items

Similar Items