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 ... reveal different aspects of the computable content of uncountable mathematics. This book contains introductions ...