Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
 
COMPUTABLE COPIES OF BOOLEAN AND ERSHOV ALGEBRAS
Форма представленияТезисы и материалы конференций в зарубежных журналах и сборниках
Год публикации2004
Языкрусский
  • Фролов Андрей Николаевич, автор
  • Библиографическое описание на языке оригинала A.N. Frolov, Computable copies of Boolean and Ershov algebras // The Bulletin of Symbolic Logic, v. 10, N. 10, 2004, P. 255.
    Аннотация The Bulletin of Symbolic Logic
    Ключевые слова Computable Boolean algebras, computable Ershov algebras
    Название журнала The Bulletin of Symbolic Logic
    Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку https://repository.kpfu.ru/?p_id=106553

    Полная запись метаданных