加载中…
2014-03-11
Restructuring Logic
Joachim Derichs
文献摘要
The outline of a programme for restructuring mathematical logic. We explain what we mean by “restructuring” and carry out exemplary parts of the programme.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本