关注我们：

solidot新版网站常见问题，请点击这里查看。

A Forgotten Theory of Proofs ?. (arXiv:1809.11013v1 [math.HO])

来源于:arXiv
Looking at MacLane's thesis on proof theory in the light of combinatory logic 查看全文>>