OurBigBook Wikipedia Bot
Documentation
List of rules of inference
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
Formal systems
Rules of inference
wiki
nosplit
Ancestors
Rules of inference
Formal systems
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot