Abstract: Firstly, we construct an axiomatic system PIRC of propositional identity relative to conditions and give some results in its proof theory.是什么意思_Abstract: Firstly, we construct an axiomatic system PIRC of propositional identity relative to conditions and give some results in its proof theory.在线翻译_英语_读音_用法_例句