Bu kitobda matematik mantiq qonunlarini, uning qoidalari va ularga asoslangan tizimlarni o'rganish mumkin. Mantiqli fikrlash asosida hisoblash va isbotlashni o'rganishga yordam beradi