Исследования по теории алгорифмов и математической логике: сборник

Bibliographic Details
Corporate Author:	Академия наук СССР Вычислительный центр
Language:	Russian
Published:	Москва, Наука, 1979
Subjects:	Математическая логика конструктивная семантика алгорифмы математический анализ многозначная логика формальные теории дедуктивные аспекты математика алгорифмические проблемы
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=366138

MARC


LEADER	00000nam0a2200000 4500
001	366138
005	20231102011843.0
035			\|a (RuTPU)RU\TPU\retro\23501
090			\|a 366138
100			\|a 20220131d1979 km y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a a z 001zy
200	1		\|a Исследования по теории алгорифмов и математической логике \|e сборник \|f Академия наук СССР, Вычислительный центр
210			\|a Москва \|c Наука \|d 1979
215			\|a 134 с. \|c ил.
320			\|a Библиография в конце статей
606	1		\|a Математическая логика \|2 stltpush \|3 (RuTPU)RU\TPU\subj\41205 \|9 61013
610	1		\|a конструктивная семантика
610	1		\|a алгорифмы
610	1		\|a математический анализ
610	1		\|a многозначная логика
610	1		\|a формальные теории
610	1		\|a дедуктивные аспекты
610	1		\|a математика
610	1		\|a алгорифмические проблемы
675			\|a 510.6 \|v 4
712	0	2	\|a Академия наук СССР \|b Вычислительный центр \|2 stltpush \|3 (RuTPU)RU\TPU\col\11481 \|9 25121
801		1	\|a RU \|b 63413507 \|c 20220131
942			\|c BK