The Basic Formal Deductive System UL of Universal Logic and its Reliability

• 泛逻辑的基本形式演绎系统UL及其可靠性