Generalized Tautologies Theory of the Basic Formal System of Universal Logic

• 泛逻辑的基本形式系统中的广义重言式理论