Успенский В.А. Теорема Гёделя о неполноте

[abs8192]

В трёх частях.

Bonus: Четыре алгоритмических лица случайности

Bonus: Выразительные возможности языков математической логики

http://www.vixri.com/d/Uspenskij%20V.A.%20%20_Teorema%20Gedelja%20o%20nepolnote.pdf
http://www.vixri.com/d/Uspenskij%20V.%20A.%20_Vvodnyj%20kurs%20matematicheskoj%20logiki.pdf
http://www.mi.ras.ru/~bekl/Papers/goedel-uspehi.pdf