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

Bibliografiske detaljer
Institution som forfatter:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики
Andre forfattere:	Соболев С. Л. (редактор)
Sprog:	russisk
Udgivet:	Новосибирск, Наука, 1982
Serier:	Труды института математики СО АН СССР Т. 2
Fag:	Математическая логика Алгоритмы, теория исследования теория нумерация модели доказательства программирование решетки многообразия
Format:	MixedMaterials Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=301043

Lignende værker