From truth to computability II