The justification of deduction
Dummett, Michael,1925-
London Oxford University Press
1974
Inference (Logic)