В приложении содержится описание математической логики. Так же в приложении реализован удобный поиск.