C-系统的分类

摘要：对假相容逻辑基础的彻底调查

作者：W.A. Carnielli (1), and J. Marcos (1,2) ((1) Unicamp, Brazil, (2) RUG, Belgium)

论文ID：math/0108036

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中