510.6
М 50
.
Введение в математическую логику [Текст] / Э. Мендельсон. - 2-е изд., испр. - М. : Наука, . - 320 с. : ил.

УДК
510.6

Ключові слова: теории первого порядка -- теорії першого порядку -- арифметика -- аксиоматическая теория множеств -- аксіоматична теорія множин --