Keyword:definable numbers

Papers
A note on Türing 1936 Paola Cattabriga EasyChair Preprint no. 8882