The Skolem-Löwenheim theorem in toposes.
✍
Marek Zawadowski
📂
Article
📅
1985
🏛
Springer Netherlands
🌐
English
⚖ 654 KB