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