Посоветуйте книгу или статью по основам аксиоматических формальных систем порядка больше первого

Автор темы monomax 
ОбъявленияПоследний пост
ОбъявлениеЧисло «Пи» рассчитано с рекордной точностью на «бюджетном» компьютере27.08.2021 22:26
ОбъявлениеМГУ и Яндекс объявили об открытии на мехмате специализации по анализу данных и машинному обучению24.08.2021 00:17
ОбъявлениеКниги по математике и экономике в добрые руки!06.03.2022 17:45
27.12.2017 14:28
Посоветуйте книгу или статью по основам аксиоматических формальных систем порядка больше первого
Извиняюсь, если тема не соответствует цели форума.

Прошу совета, что можно почитать для базового ознакомления с логической второго и более высоких порядков. Также интересует литература, в которой была бы рассмотрена связь стандартных математических теорий (например, общей топологии или теории меры) с математико-логическими методами и проблемами (описано построение некоторых теорий как формальных систем того или иного типа, представляющего собственный интерес).



Редактировалось 3 раз(а). Последний 27.12.2017 14:30.
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти