@article{Henkin1996-HENTDO-2,
    Author = {Henkin, Leon},
    File = {The Discovery of My Completeness Proofs - Henkin\_BSL\_1996 (0) - a - a - e.pdf},
    Journal = {Bulletin of Symbolic Logic},
    Number = {2},
    Pages = {127--158},
    Publisher = {Jstor},
    Title = {The Discovery of My Completeness Proofs},
    Volume = {2},
    Year = {1996},
    bdsk-url-1 = {https://doi.org/10.2307/421107},
    date-added = {2019-10-22 08:13:59 +0200},
    date-modified = {2019-10-22 08:13:59 +0200},
    doi = {10.2307/421107}
}

@article{Henkin1996-HENTDO-2, Author = {Henkin, Leon}, File = {The Discovery of My Completeness Proofs - Henkin_BSL_1996 (0) - a - a - e.pdf}, Journal = {Bulletin of Symbolic Logic}, Number = {2}, Pages = {127--158}, Publisher = {Jstor}, Title = {The Discovery of My Completeness Proofs}, Volume = {2}, Year = {1996}, bdsk-url-1 = {https://doi.org/10.2307/421107}, date-added = {2019-10-22 08:13:59 +0200}, date-modified = {2019-10-22 08:13:59 +0200}, doi = {10.2307/421107} }