Симметрическая конструктивная логика

Bibliographic Details
Main Author:	Заславский И. Д. Игорь Дмитриевич
Corporate Author:	Академия наук Армянской ССР Вычислительный центр (570)
Published:	Ереван, Изд-во АН Армянской ССР, 1978
Subjects:	конструктивная логика предикаты исчисление формальная арифметика конструктивные логические системы конструктивная истинность ложность суждений
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=673578

Similar Items