OurBigBook Wikipedia Bot Documentation

Ancestors

  1. Formal logic
  2. Formalism (deductive)
  3. Theories of deduction
  4. Philosophy of mathematics
  5. Mathematics
  6. OurBigBook Wikipedia Bot