М 501
      Мендельсон,Э.
      Введение в математическую логику пер. с англ. Э. Мендельсон — 3-е изд. — М. Наука 1984 — 320 с.