加载中…
2018-09-25
A Forgotten Theory of Proofs ?
Erwin Engeler
文献摘要
Looking at MacLane’s thesis on proof theory in the light of combinatory logic
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本
Looking at MacLane’s thesis on proof theory in the light of combinatory logic
生成讲解博客的中文版本
生成AI智能校验的中文版本