Predikatlar mantig'i sintaksis, semantika, va kvantorlar bo'yicha mantiqiy xossalarni o'rganish uchun mo'ljallangan kitob.