@article{Krivtsov:2010aa,
    Abstract = {This paper presents an intuitionistic proof of a statement which under a classical reading is logically equivalent to G{\"o}del's completeness theorem for classical predicate logic.},
    Author = {Krivtsov, Victor N.},
    File = {An Intuitionistic Completeness Theorem for Classical Predicate Logic - Krivtsov2010\_Article\_AnIntuitionisticCompletenessTh - a - d.pdf},
    ISBN = {1572-8730},
    Journal = {Studia Logica},
    Number = {1},
    Pages = {109--115},
    Title = {An Intuitionistic Completeness Theorem for Classical Predicate Logic},
    URL = {https://doi.org/10.1007/s11225-010-9273-3},
    Volume = {96},
    Year = {2010},
    bdsk-url-1 = {https://doi.org/10.1007/s11225-010-9273-3},
    da = {2010/10/01},
    date-added = {2020-09-07 09:05:15 +0200},
    date-modified = {2020-09-07 09:05:15 +0200},
    id = {Krivtsov2010},
    ty = {JOUR},
    doi = {10.1007/s11225-010-9273-3}
}

@article{Krivtsov:2010aa, Abstract = {This paper presents an intuitionistic proof of a statement which under a classical reading is logically equivalent to G{\"o}del's completeness theorem for classical predicate logic.}, Author = {Krivtsov, Victor N.}, File = {An Intuitionistic Completeness Theorem for Classical Predicate Logic - Krivtsov2010_Article_AnIntuitionisticCompletenessTh - a - d.pdf}, ISBN = {1572-8730}, Journal = {Studia Logica}, Number = {1}, Pages = {109--115}, Title = {An Intuitionistic Completeness Theorem for Classical Predicate Logic}, URL = {https://doi.org/10.1007/s11225-010-9273-3}, Volume = {96}, Year = {2010}, bdsk-url-1 = {https://doi.org/10.1007/s11225-010-9273-3}, da = {2010/10/01}, date-added = {2020-09-07 09:05:15 +0200}, date-modified = {2020-09-07 09:05:15 +0200}, id = {Krivtsov2010}, ty = {JOUR}, doi = {10.1007/s11225-010-9273-3} }