Как по-иному называют "Логика первого порядка"?

  • Язык логики групп
  • Язык логики переменных
  • Язык логики предикатов
  • Язык логики свойств
Для просмотра статистики ответов нужно залогиниться.