Посоветуйте книги.

[LionKing]

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

[Xaositect]

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