Разрешимость теорий и множеств предложений

Родительская рубрика:
  • Неклассическая и философская логика