Implicit definability and compactness in
✍
Review by: Mihály Makkai
📂
Article
📅
1972
🏛
Association for Symbolic Logic
🌐
English
⚖ 390 KB