DictionnaireLe forumContacts

   Anglais +
Google | Forvo | +

second-order predicate logic

informat. lógica de segundo orden; cálculo de predicados de segundo orden; lógica de predicados de segundo orden