Математическая логика и теория алгоритмов: учебное пособие

Bibliographische Detailangaben
1. Verfasser:	Шелупанов А. А. Александр Александрович
Weitere Verfasser:	Зюзьков В. М. Валентин Михайлович
Sprache:	Russisch
Veröffentlicht:	Томск, STT, 2001
Schlagworte:	математика математическая логика теория множеств высказывания булевы алгебры логика предикатов исчисления алгоритмы логические парадоксы учебные пособия
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=37514

MARC


LEADER	00000nam0a2200000 4500
001	37514
005	20231031004040.0
010			\|a 593629031X
035			\|a (RuTPU)RU\TPU\book\38097
090			\|a 37514
100			\|a 20020125d2001 m y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a y z 001zy
200	1		\|a Математическая логика и теория алгоритмов \|e учебное пособие \|f А. А. Шелупанов, В. М. Зюзьков
210			\|a Томск \|c STT \|d 2001
215			\|a 176 c.
320			\|a Библиогр.: с. 173-174.
610	1		\|a математика
610	1		\|a математическая логика
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(075.8) \|v 3
700		1	\|a Шелупанов \|b А. А. \|g Александр Александрович
701		1	\|a Зюзьков \|b В. М. \|g Валентин Михайлович
801		1	\|a RU \|b 63413507 \|c 20020125 \|g PSBO
801		2	\|a RU \|b 63413507 \|c 20130905 \|g PSBO
942			\|c BK