Мендельсон, Э. Введение в математическую логику [Электронный ресурс] / Э. Мендельсон ; пер. с англ. – Москва : Наука, 1971. – 320 с. : ил.