%0 Journal Article %1 journals/ndjfl/Bloom73 %A Bloom, Stephen L. %D 1973 %J Notre Dame J. Formal Log. %K dblp %N 3 %P 408-410 %T Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl14.html#Bloom73 %V 14

@article{journals/ndjfl/Bloom73, added-at = {2020-05-21T00:00:00.000+0200}, author = {Bloom, Stephen L.}, biburl = {https://www.bibsonomy.org/bibtex/249dcfce7a2df1b4a9f85b9b0da9bb6b8/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093891010}, interhash = {2ad0f9eb208642a13ea2e285707f6e92}, intrahash = {49dcfce7a2df1b4a9f85b9b0da9bb6b8}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 3, pages = {408-410}, timestamp = {2020-05-23T12:17:24.000+0200}, title = {Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl14.html#Bloom73}, volume = 14, year = 1973 }