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