-
Notifications
You must be signed in to change notification settings - Fork 16
/
lit.tex
33 lines (22 loc) · 2.49 KB
/
lit.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
\section{Литература}
\begin{thebibliography}{99}
%Общая топология
\bibitem{topo} Виро О.Я., Иванов А.О., Нецветаев Н.Ю., Харламов В.М. Элементарная топология --- М.: МЦНМО, 2012
%Классическое исчисление высказываний и предикатов:
%\bibitem{klinilogic} С. Клини. Математическая логика --- М.: Изд-во <<Мир>>, 1973
%\bibitem{shen2} Н.К. Верещагин, А. Шень, Лекции по математической логике и теории алгоритмов, Языки и исчисления --- МЦНМО, 2002.
% Также доступно по ссылке \s{http://www.mccme.ru/free-books/shen/shen-logic-part2.pdf}
%Интуиционистская логика:
%\bibitem{shen2} Н.К. Верещагин, А. Шень, Лекции по математической логике и теории алгоритмов, Языки и исчисления --- МЦНМО, 2002.
% Также доступно по ссылке \s{http://www.mccme.ru/free-books/shen/shen-logic-part2.pdf}
%Теорема Геделя о неполноте арифметики:
%\bibitem{shen3} Н.К. Верещагин, А. Шень, Лекции по математической логике и теории алгоритмов, Вычислимые функции --- МЦНМО, 2002.
% Также доступно по ссылке \s{http://www.mccme.ru/free-books/shen/shen-logic-part3.pdf}
%\bibitem{mendel} Э. Мендельсон. Введение в математическую логику --- М.: Изд-во <<Наука>>, 1971.
%\bibitem{klinimeta} С. Клини. Введение в метаматематику --- М.: Изд-во <<Иностранная литература>>, 1957.
%\bibitem{kikuchi} Makoto Kikuchi. Kolmogorov complexity and the second incompleteness theorem. Arch. Math. Logic 36: 437-443 (1997)
%\bibitem{kritchman} Shira Kritchman, Ran Raz. The Surprise Examination Paradox and the Second Incompleteness Theorem. Notices of the AMS volume 57(11): 1454-1458 (2010)
%Теория множеств:
%\bibitem{frenkel} А.А. Френкель, И. Бар-Хиллел. Основания теории множеств --- М.: Изд-во <<Мир>>, 1966.
%\bibitem{koen} П.Дж. Коэн. Теория множеств и континуум-гипотеза --- М.: Изд-во <<Мир>>, 1969.
\end{thebibliography}