DictionaryForumContacts

   Danish
Google | Forvo | +
prædikatslogik n
IT first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic