Prädikatrechnung

Dictionnaire

• Prädikatrechnung

  predicate calculus
  n. f