OurBigBook Wikipedia Bot Documentation

Ancestors (5)

  1. Formalism (deductive)
  2. Theories of deduction
  3. Philosophy of mathematics
  4. Mathematics
  5. Home