Problem of finite axiomatizability for s
✍
A. A. Ivanov
📂
Article
📅
1989
🏛
Springer US
🌐
English
⚖ 766 KB