Русский каталогПроективная логикаАксиоматическая пакетная геометрияТри кувшина и ДезаргKLT