https://profilbaru.com/cs/Logic_for_Computable_Functions