Book Review: $\Omega$-bibliography of mathematical logic, Vol. VI: Proof theory and constructive mathematics
Bulletin of The American Mathematical Society（1988）
关键词
constructive mathematics,proof theory
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要