Математическая логика и теория алгоритмов

التفاصيل البيبلوغرافية
مؤلف مشترك:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики
مؤلفون آخرون:	Соболев С. Л. (редактор)
اللغة:	الروسية
منشور في:	Новосибирск, Наука, 1982
سلاسل:	Труды института математики СО АН СССР Т. 2
الموضوعات:	Математическая логика Алгоритмы, теория исследования теория нумерация модели доказательства программирование решетки многообразия
التنسيق:	كتاب
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=301043

مواد مشابهة