An Extension of Computational Logic
✍
Alan Rose
📂
Article
📅
1952
🏛
Association for Symbolic Logic
🌐
English
⚖ 289 KB