definability and algebraic structures, in (2003)

by Rodney G Downey, Computability
Venue:Proceedings of the 7th and 8th Asian Logic Conferences”, Singapore