Classifications of Computable Structures
Lange, Karen, Miller, Russell, Steiner, Rebecca M.Volume:
59
Year:
2018
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1215/00294527-2017-0015
File:
PDF, 505 KB
english, 2018