A Topological Proof of the Theorem of Löwenheim−Skolem−Gödel
- 1 January 1951
- journal article
- Published by Elsevier in Indagationes Mathematicae
- Vol. 54, 436-444
- https://doi.org/10.1016/s1385-7258(51)50062-8
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Fragments of the propositional calculusThe Journal of Symbolic Logic, 1949