Теория формальных систем пер. с англ.

Теория формальных систем, пер. с англ.

Chi tiết về thư mục
Tác giả chính: Смальян Р. Раймонд
Tác giả khác: Шанин Н. А. (340)
Ngôn ngữ:Tiếng Nga
Được phát hành: Москва, Наука, 1981
Loạt:Математическая логика и основания математики
Những chủ đề:
Математическая логика
формальные системы
теория
математические системы
рекурсивная перечислимость
неполнота
неразрешимость
рекурсивные функции
креативность
приложения
Định dạng: Sách
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=308410
Miêu tả
Mô tả vật lý:207 с. ил.

Những quyển sách tương tự