Computable structures: presentations matter (1999)

by R A Shore
Venue:in Proceedings of the Intl. Cong. LMPS