2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Посоветуйте книги.
Сообщение27.12.2014, 02:18 
Доброго времени суток. Возник вопрос. Захотелось изучить математическую логику. Точнее ту ее часть, которая касается формального построения математических теорий. Ну там теории, метатеории, системы аксиом и все такое... Подскажите книги по этой теме. Размер и сложность не важны. Важно, чтобы книги были подробными (пусть даже дотошными), чтобы теоретический материал в них излагался очень, очень, очень, очень строго! И последовательно! Ну вы меня поняли, я надеюсь. Хочу понять, как строятся мат. теории с НУЛЯ, и что это вообще такое.) Тут на форуме 100% есть профи в этой теме, поэтому я жду ответов и надеюсь.)) С уважением, Александр.

 
 
 
 Re: Посоветуйте книги.
Сообщение27.12.2014, 10:55 
Аватара пользователя
Если хочется именно подробностей, то Мендельсон "Введение в математическую логику". У него, насколько я помню, не слишком много по теории моделей, поэтому нужно еще что-нибудь по этой теме, например Marker "Model theory: an Introduction"

 
 
 [ Сообщений: 2 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group