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

Detalhes bibliográficos
Autor Corporativo:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики
Outros Autores:	Соболев С. Л. (редактор)
Idioma:	russo
Publicado em:	Новосибирск, Наука, 1982
coleção:	Труды института математики СО АН СССР Т. 2
Assuntos:	Математическая логика Алгоритмы, теория исследования теория нумерация модели доказательства программирование решетки многообразия
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=301043

Registros relacionados