DictionaryForumContacts

   English +
Google | Forvo | +

first-order predicate calculus

IT calcolo dei predicati; logica dei predicati; logica del primo ordine