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 publication2004
Языкрусский
  • Frolov Andrey Nikolaevich, author
  • Bibliographic description in the original language A.N. Frolov, Computable copies of Boolean and Ershov algebras // The Bulletin of Symbolic Logic, v. 10, N. 10, 2004, P. 255.
    Annotation The Bulletin of Symbolic Logic
    Keywords Computable Boolean algebras, computable Ershov algebras
    The name of the journal The Bulletin of Symbolic Logic
    Please use this ID to quote from or refer to the card https://repository.kpfu.ru/eng/?p_id=106553&p_lang=2

    Full metadata record