Исчисление Аккермана в курсе лекций С.А. Яновской по математической логикетезисы доклада