Predikatlar, kvantorlar va isbot usullari — tadbirkorlar uchun. Matematik mantiq va to'plamlar nazariyasi — bu Matematika sohasining eng muhim yo'nalishlaridan biri bo'lib, tadbirkorlar uchun uchun alohida ahamiyat kasb etadi