Intended models and the Löwenheim-Skolem Theorem (1976)

by Virginia Klenk
Venue:The Journal of Philosophical Logic