Библиография

Непротиворечивость

Новиков П. С. Элементы математической логики. 2-е изд. М., 1973.

Опубликовано  Последнее обновление 11 августа 2022 г. в 15:21 (GMT+3).
  • Научно-образовательный портал «Большая российская энциклопедия»
    Создан при финансовой поддержке Министерства цифрового развития, связи и массовых коммуникаций Российской Федерации.
    Свидетельство о регистрации СМИ ЭЛ № ФС77-84198, выдано Федеральной службой по надзору в сфере связи, информационных технологий и массовых коммуникаций (Роскомнадзор) 15 ноября 2022 года.
    ISSN: 2949-2076
  • Учредитель: Автономная некоммерческая организация «Национальный научно-образовательный центр «Большая российская энциклопедия»
    Главный редактор: Кравец С. Л.
    Телефон редакции: +7 (495) 917 90 00
    Эл. почта редакции: secretar@greatbook.ru
  • © АНО БРЭ, 2022 — 2025. Все права защищены.
  • Условия использования информации.Вся информация, размещенная на данном портале, предназначена только для использования в личных целях и не подлежит дальнейшему воспроизведению.
    Медиаконтент (иллюстрации, фотографии, видео, аудиоматериалы, карты, скан образы) может быть использован только с разрешения правообладателей.
  • Условия использования информации.Вся информация, размещенная на данном портале, предназначена только для использования в личных целях и не подлежит дальнейшему воспроизведению.
    Медиаконтент (иллюстрации, фотографии, видео, аудиоматериалы, карты, скан образы) может быть использован только с разрешения правообладателей.