TY - BOOK AU - Нагел Э. AU - Мальцева TI - Математическая логика и ее применения [Текст]: Сборник статей : Пер. с англ. / SN - PY - 1965/// CY - Москва : PB - Мир, KW - მათემატიკური ლოგიკა და მისი პროგრამები ER -