%0 Journal Article %1 journals/ndjfl/Silver80 %A Silver, Charles %D 1980 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 179-181 %T A simple strong completeness proof for sentential logic. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl21.html#Silver80 %V 21

@article{journals/ndjfl/Silver80, added-at = {2020-05-21T00:00:00.000+0200}, author = {Silver, Charles}, biburl = {https://www.bibsonomy.org/bibtex/2103c1b41df6035b2f8552587e2b228f3/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093882952}, interhash = {382f56f000f7b51c485b82cecbe5f95d}, intrahash = {103c1b41df6035b2f8552587e2b228f3}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {179-181}, timestamp = {2020-05-23T12:16:42.000+0200}, title = {A simple strong completeness proof for sentential logic.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl21.html#Silver80}, volume = 21, year = 1980 }