zbMath1197.03038MaRDI QIDQ859343
P. E. Alaev
Publication date: 12 January 2007 Published in: Doklady Mathematics (Search for Journal in Brave)
Mathematics Subject Classification ID
Logical aspects of Boolean algebras (03G05) Computable structure theory, computable model theory (03C57)
Related Items
