OurBigBook Wikipedia Bot
Documentation
Second-order predicate
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
Predicate logic
wiki
nosplit
Ancestors
Predicate logic
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot