اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
يتحدث عن المنطق والعمليات المنطقية والقضايا المركبة بالأدوات، ثم يعرض قضايا التعويض والعلاقة بين المنطق والمجموعات، ويبحث في الجبر والجبر التام وجبر المنطق وطرق البرهان، والفضاء الشعاعي المنتهي على حقل منتهي و الزمر النادرة .