Logics_for_computability