Марков А. А. Элементы математической логики / А. А. Марков ; под ред. А. Г. Драгалина. - Москва : Издательство Московского университета, 1984. - 76,[4] с.