DictionnaireLe forumContacts

   Anglais +
Google | Forvo | +

second-order predicate logic

informat. prædikatskalkyle af anden orden; anden ordens logik; anden ordens prædikatskalkyle; logik af anden orden