Введение в метаматематику: пер. с англ.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Клини С. К. Стефен К.
Γλώσσα:	Ρωσικά
Έκδοση:	Москва, Изд-во иностранной литературы, 1957
Θέματα:	математика метаматематика математическая логика рекурсивные функции теория множеств формализм формальные системы высказывания исчисление предикаты формальная арифметика машины Тьюринга теорема Генцена непротиворечивость
Μορφή:	Βιβλίο
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=119557

MARC


LEADER	00000nam0a2200000 4500
001	119557
005	20231031124641.0
035			\|a (RuTPU)RU\TPU\book\129406
090			\|a 119557
100			\|a 20070712d1957 km y0rusy50 ca
101	1		\|a rus \|c eng
102			\|a RU
105			\|a y z 001zy
200	1		\|a Введение в метаматематику \|e пер. с англ. \|f С. К. Клини
210			\|a Москва \|c Изд-во иностранной литературы \|d 1957
215			\|a 526 с. \|c ил.
320			\|a Библиогр.: с. 493-509.
320			\|a Символы и обозначения: с. 510.
320			\|a Предметно-именной указатель: с. 511-523.
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 предикаты
610	1		\|a формальная арифметика
610	1		\|a машины Тьюринга
610	1		\|a теорема Генцена
610	1		\|a непротиворечивость
675			\|a 510.6 \|v 3
700		1	\|a Клини \|b С. К. \|g Стефен К.
801		1	\|a RU \|b 63413507 \|c 20070712 \|g PSBO
801		2	\|a RU \|b 63413507 \|c 20080215 \|g PSBO
942			\|c BK