Введение в математическую логику. Учебное пособие для вузов. 3-е издание, стереотипное