Eliminating the substitution axiom from
✍
Beverly A. Sanders
📂
Article
📅
1991
🏛
Springer
🌐
English
⚖ 874 KB