For more information about countable and uncountable sets, see books about "Analysis" (as advanced calculus is called). For example, Introductory Real Analysis, by A.N. Kolmogorov and S.V. Fomin (see ...

Classical computable model theory is most naturally concerned with countable domains. There are ... This book contains introductions to eight major approaches to computable uncountable mathematics: ...