Logic, Methodology, And Philosophy Of Science Ix by Dag Prawitz