%0 Journal Article %1 journals/ndjfl/LeblancRTW91 %A Leblanc, Hugues %A Roeper, Peter %A Thau, Michael %A Weaver, George %D 1991 %J Notre Dame J. Formal Log. %K dblp %N 2 %P 212-232 %T Henkin's Completeness Proof: Forty Years Later. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl32.html#LeblancRTW91 %V 32

@article{journals/ndjfl/LeblancRTW91, added-at = {2020-05-21T00:00:00.000+0200}, author = {Leblanc, Hugues and Roeper, Peter and Thau, Michael and Weaver, George}, biburl = {https://www.bibsonomy.org/bibtex/21bd9c019d92ea672d3711f0dae094422/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093635746}, interhash = {97b89f2927c96a13496cec7325b65a31}, intrahash = {1bd9c019d92ea672d3711f0dae094422}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 2, pages = {212-232}, timestamp = {2020-05-23T12:18:10.000+0200}, title = {Henkin's Completeness Proof: Forty Years Later.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl32.html#LeblancRTW91}, volume = 32, year = 1991 }