If you do not find what you're looking for, you can use more accurate words.
يتحدث عن المنطق والعمليات المنطقية والقضايا المركبة بالأدوات، ثم يعرض قضايا التعويض والعلاقة بين المنطق والمجموعات، ويبحث في الجبر والجبر التام وجبر المنطق وطرق البرهان، والفضاء الشعاعي المنتهي على حقل منتهي و الزمر النادرة .