X-Nico

unusual facts about computable model theory