Badge

 Student Asked first question with score of 1 or more.

MvG earned this badge

jan 24 at 11:06
How does “higher-order logic” differ from “normal” (first order?) predicate logic?

Others with this badge