Kazan (Volga region) Federal University, KFU
KAZAN
FEDERAL UNIVERSITY
 
COMPUTABLE COPIES OF BOOLEAN AND ERSHOV ALGEBRAS
Form of presentationConference proceedings in international journals and collections
Year of publication2003
Языканглийский
  • Frolov Andrey Nikolaevich, author
  • Bibliographic description in the original language A.N. Frolov, Computable copies of Boolean and Ershov algebras // Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20), 2003.
    Annotation Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20)
    Keywords Computable presentations, Boolean algebras, Ershov algebras
    The name of the journal Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20)
    Please use this ID to quote from or refer to the card https://repository.kpfu.ru/eng/?p_id=106558&p_lang=2

    Full metadata record