Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"]

Bibliographic Details
Main Author:	Тимофеева, Ирина Леонидовна
Format:	Book
Language:	Russian
Published:	Москва КДУ 2007
Edition:	2-е изд., перераб.
Subjects:	математическая логика учебные пособия для вузов логика высказываний исчисление высказываний логика предикатов исчисление предикатов теории первого порядка теория доказательств основания математики предикатные системы теория множеств интуиционизм конструктивизм Гильберта программа обоснования математики
Online Access:	Перейти в каталог НБ ТГУ


LEADER	02642nam a2200529 i 4500
001	vtls000234079
003	RU-ToGU
005	20210921205009.0
008	070926s2007 ru b 001 0 rusdd
017			\|a 07-21553 \|b RuMoRKP
020			\|a 9785982273079
020			\|a 5982273079
035			\|a (RU-RKP)ru07-029411RKP
039		9	\|a 200710040941 \|c 200710031808 \|d cat31 \|y 200709260932 \|z Александр Эльверович Гилязов
040			\|a RuMoRKP \|b rus \|c RU-RKP \|d RU-ToGU
041	0		\|a rus
080			\|a 510.6(075.8)
084			\|a 22.12я73 \|2 rubbkm
100	1		\|a Тимофеева, Ирина Леонидовна \|9 182130
245	1	0	\|a Математическая логика \|b курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"] \|c И. Л. Тимофеева
250			\|a 2-е изд., перераб.
260			\|a Москва \|b КДУ \|c 2007 \|9 703406
300			\|a 302, [1] с. \|c 20 см.
504			\|a Библиогр.: с. 292-294
504			\|a Предм. указ.: с. 295-299
650		7	\|a математическая логика \|2 RuMoRKP \|9 54240
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 Т415 \|n ru
856			\|y Перейти в каталог НБ ТГУ \|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=89353
908			\|a учебник
920			\|a 978-5-98227-307-9 \|9 1000 экз.
999			\|c 89353 \|d 89353
952			\|0 0 \|1 0 \|4 0 \|6 1958129К \|7 0 \|9 189350 \|a RU-ToGU \|b RU-ToGU \|c 10024 \|d 2021-04-03 \|g 158.40 \|l 0 \|o 1-958129к \|p 13820000591048 \|r 2021-04-03 \|w 2021-04-03 \|y 1
952			\|0 0 \|1 0 \|4 0 \|6 510_Т415 \|7 0 \|9 189351 \|a RU-ToGU \|b RU-ToGU \|c 10005 \|d 2021-04-03 \|g 158.40 \|l 0 \|o 510 Т415 \|p 13820000591046 \|r 2023-08-04 \|t 1 \|w 2021-04-03 \|y 3
952			\|0 0 \|1 0 \|4 0 \|6 510_Т415 \|7 0 \|9 189352 \|a RU-ToGU \|b RU-ToGU \|c 10005 \|d 2021-04-03 \|g 158.40 \|l 0 \|o 510 Т415 \|p 13820000591047 \|r 2023-08-04 \|t 2 \|w 2021-04-03 \|y 3

Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"]

Similar Items