A lecture at the Interdisciplinary Research Colloquium, Webb 103, 16:00-17:30:

Eli Dresner, Tel Aviv University
Formal Proofs and Textual Cohesion