И-В1 T54 И-В1 / T54-02 Tieszen, Richard. After Godel: platonism and rationalism in mathematics and logic / R. Tieszen. - Oxford : Oxford univ. press, 2013. - X,245 p. - Bibliogr.: p. 227-238. - Ind.: p. 239-245 Перевод заглавия: После Геделя: платонизм и рационализм в математике и логике
Рубрики: Математика--Философия Математическая логика--Философия Перейти: оглавление Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-В12 M44 И-В12 / M44-02 McCall, Storrs. The consistency of arithmetic : and other essays / S. McCall. - Oxford ; New York : Oxford university press, 2014. - VI,222 p. : ill. - Bibliogr. at the end of the chapters. - Ind.: p. 219-222 Перевод заглавия: Непротиворечивость арифметики : и другие очерки
Рубрики: Математическая логика--Философия Теоретическая физика--Философия Перейти: Оглавление Экземпляры всего: 1 02 (1) Свободны: 02 (1) |