Дата публикации: 2005

Дата публикации в реестре: 2020-03-18T12:32:58Z

Аннотация:

Предлагается пример теории, который опровергает гипотезу из [1] о том, что не существует разрешимых теорий без трансляционной теоремы.

Тип: Статья