搜索结果: 1-1 共查到“哲学 An Axiomatic System”相关记录1条 . 查询时间(0.077 秒)
This paper presents a Hilbert-style system for Alpha graphs,
the first part of Existential Graphs. A set of generalized Sheffer-strokes are
the only connectives in the “symbol-based” formal system ...