On the theories of classes of recusive permutation groups
From MaRDI portal
Publication:753804
zbMath0717.03012MaRDI QIDQ753804
Publication date: 1991
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (1)
This page was built for publication: On the theories of classes of recusive permutation groups