m-Valued Sub-System of (m+n)-Valued Prop
β
Tzu-Hua Hoo
π
Article
π
1949
π
Association for Symbolic Logic
π
English
β 451 KB