Characterizations for Computable Structures (2000)

by Walker McMillan White
Venue:CORNELL UNIVERSITY