Proofs with Visible Inference Schemes. Article uri icon

publication date

  • 1984