М.: Наука. Главная редакции физико-математической литературы, 1983. — 392 с. Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер....
М.: Наука. Главная редакции физико-математической литературы, 1983. — 392 с.
Качество: хорошее, текстовый слой, оглавление.
Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств.
Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две...
Уважаемые: администратор, модераторы и доверенные пользователи.Друзья, я искренне благодарен Вам за создание подраздела Теория доказательств. Сегодня, когда литература по этой теме увеличивается, особенно сильно на Западе, очень важно иметь отдельный раздел для этого, что Вы и сделали. Слава Богу. Простому пользователю, а также студентам и преподавателям, если они не являются специалистами в области Математической логики, очень трудно разобраться в тонкостях этих вопросов, да ещё и огромной массы литературы основного раздела. Поэтому, как пишет Апостол Иаков: "если угодно будет Господу и живы будем, то... " (Иак. 4:15), - то и в будущем будем поддерживать порядок здесь на благо всем людям. Да благословит Вас Господь, друзья дорогие, и да дарует мир Божий в сердца ваши. С уважением, благодарностью и благословением,
Комментарии
Простому пользователю, а также студентам и преподавателям, если они не являются специалистами в области Математической логики, очень трудно разобраться в тонкостях этих вопросов, да ещё и огромной массы литературы основного раздела.
Поэтому, как пишет Апостол Иаков: "если угодно будет Господу и живы будем, то... " (Иак. 4:15), - то и в будущем будем поддерживать порядок здесь на благо всем людям. Да благословит Вас Господь, друзья дорогие, и да дарует мир Божий в сердца ваши.
С уважением, благодарностью и благословением,