A Proof of the Rule of Consequence in Inference(Programming Language)

  • Published : 1982.12.01