全部 标题 作者
关键词 摘要

Mathematics  2014 

Restructuring Logic

Full-Text   Cite this paper   Add to My Lib

Abstract:

The outline of a programme for restructuring mathematical logic. We explain what we mean by "restructuring" and carry out exemplary parts of the programme.

Full-Text

comments powered by Disqus