Computability Theory: Countable Magmas And Their Properties