A Proof of the Skolem-Löwenheim Theorem.
✍
Review by: Solomon Feferman and Alfred Tarski
📂
Article
📅
1953
🏛
Association for Symbolic Logic
🌐
English
⚖ 305 KB