Predicate functor logic

 Ancestors

1. Algebraic logic
2. Fields of abstract algebra
3. Fields of mathematics
4. Mathematics
5. OurBigBook Wikipedia Bot