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

Библиографическая информация
Главный автор:	Клини, Стивен Коул 1909-1994
Формат:	Книга
Язык:	Russian
Публикация:	Москва Едиториал УРСС 2005
Редактирование:	Изд. 2-е, стереотип.
Предметы:	учебные пособия для вузов математическая логика теория моделей гильбертовская теория доказательств теория доказательств формальная арифметика Тьюринга машины Геделя теорема о полноте Генцена теорема о полноте исчисление высказываний исчисление предикатов исчисление предикатов с равенством основания математики множества счетные множества абстрактные математика аксиоматическая математика интуитивная Черча тезис вычислимость (математическая логика) разрешимость (математическая логика) Левенгейма-Скулема теорема Эрбрана теорема Крейга интерполяционная теорема Бета теорема об определимости Робинсона теорема о непротиворечивости нормализация доказательств Эрбрана теорема для непредваренных формул анализ рассуждений (математическая логика) рассуждения неполные (математическая логика) теорема о дедукции цепи эквивалентности (математическая логика)


LEADER	06908nam a2200949 4500
001	vtls000208577
003	RU-ToGU
005	20220714114244.0
008	981001 2005 ru b 001 \| rus d
020			\|a 535401011X
035			\|a koha000216069
040			\|a RU-ToGU \|b rus \|c RU-ToGU \|e PSBO
041	1		\|a rus \|h eng
080			\|a 510.6(075.8)
100	1		\|a Клини, Стивен Коул \|d 1909-1994
245	1	0	\|a Математическая логика \|c С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца
250			\|a Изд. 2-е, стереотип.
260			\|a Москва \|b Едиториал УРСС \|c 2005
300			\|a 480 с.
504			\|a Библиогр.: с. 451-465
504			\|a Авт. и предмет. указ.: с. 470-478
505	0		\|a В кн. также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул / Г. Е. Минц
653			\|a учебные пособия для вузов
653			\|a математическая логика
653			\|a теория моделей
653			\|a гильбертовская теория доказательств
653			\|a теория доказательств
653			\|a формальная арифметика
653			\|a Тьюринга машины
653			\|a Геделя теорема о полноте
653			\|a Генцена теорема о полноте
653			\|a исчисление высказываний
653			\|a исчисление предикатов
653			\|a исчисление предикатов с равенством
653			\|a основания математики
653			\|a множества счетные
653			\|a множества абстрактные
653			\|a математика аксиоматическая
653			\|a математика интуитивная
653			\|a Черча тезис
653			\|a вычислимость (математическая логика)
653			\|a разрешимость (математическая логика)
653			\|a Левенгейма-Скулема теорема
653			\|a Эрбрана теорема
653			\|a Крейга интерполяционная теорема
653			\|a Бета теорема об определимости
653			\|a Робинсона теорема о непротиворечивости
653			\|a нормализация доказательств
653			\|a Эрбрана теорема для непредваренных формул
653			\|a анализ рассуждений (математическая логика)
653			\|a рассуждения неполные (математическая логика)
653			\|a теорема о дедукции
653			\|a цепи эквивалентности (математическая логика)
852	4		\|a RU-ToGU \|h 510 \|i К493 \|n ru
908			\|a учебник
999			\|c 216069 \|d 216069
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537336 \|r 2021-04-03 \|t 24 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537337 \|r 2021-04-03 \|t 25 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 2041838 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10024 \|d 2021-04-03 \|g 202.24 \|l 1 \|m 1 \|o 2-041838 \|p 13820000537326 \|r 2024-01-18 \|s 2022-06-16 \|t 14 \|w 2021-04-03 \|y 4
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537327 \|r 2021-04-03 \|t 15 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537328 \|r 2021-04-03 \|t 16 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537330 \|r 2021-04-03 \|t 18 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10021 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537331 \|r 2024-04-09 \|t 19 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537332 \|r 2021-04-03 \|t 20 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537334 \|r 2021-04-03 \|t 22 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10021 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537333 \|r 2024-04-09 \|t 21 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537335 \|r 2021-04-03 \|t 23 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10021 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537314 \|r 2024-04-09 \|t 2 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537315 \|r 2021-04-03 \|t 3 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537317 \|r 2021-04-03 \|t 5 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537318 \|r 2021-04-03 \|t 6 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537319 \|r 2021-04-03 \|t 7 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537320 \|r 2021-04-03 \|t 8 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537321 \|r 2021-04-03 \|t 9 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537322 \|r 2021-04-03 \|t 10 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537323 \|r 2021-04-03 \|t 11 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537324 \|r 2021-04-03 \|t 12 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537325 \|r 2021-04-03 \|t 13 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537316 \|r 2021-04-03 \|t 4 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 202.24 \|l 0 \|o 51 К493 \|p 13820000537313 \|r 2021-04-03 \|t 1 \|w 2021-04-03 \|y 5
952			\|0 0 \|1 0 \|4 0 \|6 1931670К \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10024 \|d 2021-04-03 \|g 324.00 \|l 0 \|o 1-931670к \|p 13820000501409 \|r 2021-04-03 \|w 2021-04-03 \|y 1
952			\|0 0 \|1 0 \|4 0 \|6 51_К493 \|7 0 \|a RU-ToGU \|b RU-ToGU \|c 10023 \|d 2021-04-03 \|g 324.00 \|o 51 К493 \|p 13820000501410 \|r 2023-08-04 \|y 5

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

Похожие документы