Элементы математической логики: Учеб. материалы для 9 и 10 классов сред. школы. - М. : Просвещение, 1964-1965. - 2 т. - Столяр, А. А. (Просвещение, 1964)