КФУ. Карточка публикации. Computable copies of Boolean and Ershov algebras

RUS

COMPUTABLE COPIES OF BOOLEAN AND ERSHOV ALGEBRAS

Форма представления

Тезисы и материалы конференций в зарубежных журналах и сборниках

Год публикации

2003

Язык

английский

Авторы, сотрудники КФУ

Фролов Андрей Николаевич, автор

Библиографическое описание на языке оригинала

A.N. Frolov, Computable copies of Boolean and Ershov algebras // Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20), 2003.

Аннотация

Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20)

Ключевые слова

Computable presentations, Boolean algebras, Ershov algebras

Название журнала

Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20)

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

Поле DC	Значение	Язык
dc.contributor.author	Фролов Андрей Николаевич	ru_RU
dc.date.accessioned	2003-01-01T00:00:00Z	ru_RU
dc.date.available	2003-01-01T00:00:00Z	ru_RU
dc.date.issued	2003	ru_RU
dc.identifier.citation	A.N. Frolov, Computable copies of Boolean and Ershov algebras // Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20), 2003.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=106558	ru_RU
dc.description.abstract	Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20)	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Computable presentations	ru_RU
dc.subject	Boolean algebras	ru_RU
dc.subject	Ershov algebras	ru_RU
dc.title	Computable copies of Boolean and Ershov algebras	ru_RU
dc.type	Тезисы и материалы конференций в зарубежных журналах и сборниках	ru_RU