共 50 条
- [1] AN ALGEBRAIC FORMULATION OF K-N PROPOSITIONAL CALCULUS PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (10): : 1164 - &
- [2] AN ALGEBRAIC FORMULATION OF K-N PROPOSITIONAL CALCULUS .2. PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (01): : 35 - &
- [3] AN ALGEBRAIC FORMULATION OF K-N PROPOSITIONAL CALCULUS .2. PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (02): : 129 - &
- [4] AN ALGEBRAIC FORMULATION OF K-N PROPOSITIONAL CALCULUS .3. PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (08): : 723 - &
- [9] ALGEBRAIC PROOF OF SEPARATION THEOREM ON CLASSICAL PROPOSITIONAL CALCULUS PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (02): : 67 - &