A theorem on generalizations of proofs
✍
Tsuyoshi Yukami
📂
Article
📅
1990
🏛
Springer
🌐
English
⚖ 937 KB