predicate logic

Dictionnaire

Exemples en contexte

  • second-order predicate logic

    Prädikatenlogik 2.Ordnung