Form of presentation | Conference proceedings in international journals and collections |
Year of publication | 2004 |
Язык | русский |
|
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 |
Field DC |
Value |
Language |
dc.contributor.author |
Frolov Andrey Nikolaevich |
ru_RU |
dc.date.accessioned |
2004-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2004-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2004 |
ru_RU |
dc.identifier.citation |
A.N. Frolov, Computable copies of Boolean and Ershov algebras // The Bulletin of Symbolic Logic, v. 10, N. 10, 2004, P. 255. |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/eng/?p_id=106553&p_lang=2 |
ru_RU |
dc.description.abstract |
The Bulletin of Symbolic Logic |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
Computable Boolean algebras |
ru_RU |
dc.subject |
computable Ershov algebras |
ru_RU |
dc.title |
Computable copies of Boolean and Ershov algebras |
ru_RU |
dc.type |
Conference proceedings in international journals and collections |
ru_RU |
|