Т 150
      Такеути,Г.
      Теория доказательств пер. с англ. Г. Такеути — М. Мир 1978 — 412 с.