DictionaryForumContacts

   English
Google | Forvo | +
second order logicstresses
comp. логика второго порядка; логика предикатов второго порядка