Consequence as Inference: Mediaeval Proof Theory 1300–1350 · Study