DictionaryForumContacts

   English
Google | Forvo | +
second-order predicate logic
IT lógica de segundo orden; cálculo de predicados de segundo orden; lógica de predicados de segundo orden