|
LionKing |
|
|
|
Доброго времени суток. Возник вопрос. Захотелось изучить математическую логику. Точнее ту ее часть, которая касается формального построения математических теорий. Ну там теории, метатеории, системы аксиом и все такое... Подскажите книги по этой теме. Размер и сложность не важны. Важно, чтобы книги были подробными (пусть даже дотошными), чтобы теоретический материал в них излагался очень, очень, очень, очень строго! И последовательно! Ну вы меня поняли, я надеюсь. Хочу понять, как строятся мат. теории с НУЛЯ, и что это вообще такое.) Тут на форуме 100% есть профи в этой теме, поэтому я жду ответов и надеюсь.)) С уважением, Александр.
|
|
|
|
 |
|
Xaositect |
|
|
|
Если хочется именно подробностей, то Мендельсон "Введение в математическую логику". У него, насколько я помню, не слишком много по теории моделей, поэтому нужно еще что-нибудь по этой теме, например Marker "Model theory: an Introduction"
|
|
|
|
|
