On axiom systems of propositional calcul
✍
Imai, Yasuyuki; Iséki, Kiyoshi
📂
Article
📅
1966
🏛
The Japan Academy
⚖ 294 KB