@article{Veldman:JSL:1976,
    Author = {Veldman, Wim},
    File = {An intuitiomstic completeness theorem for intuitionistic predicate logic - veldman1976 - a - a - a - g.pdf},
    Journal = {Journal of Symbolic Logic},
    Number = {1},
    Pages = {159--166},
    Publisher = {Cambridge University Press},
    Title = {An intuitiomstic completeness theorem for intuitionistic predicate logic},
    Volume = {41},
    Year = {1976},
    bdsk-url-1 = {https://doi.org/10.1017/S0022481200051859},
    date-added = {2020-04-02 16:01:49 +0200},
    date-modified = {2020-09-07 08:59:32 +0200},
    doi = {10.1017/S0022481200051859}
}

@article{Veldman:JSL:1976, Author = {Veldman, Wim}, File = {An intuitiomstic completeness theorem for intuitionistic predicate logic - veldman1976 - a - a - a - g.pdf}, Journal = {Journal of Symbolic Logic}, Number = {1}, Pages = {159--166}, Publisher = {Cambridge University Press}, Title = {An intuitiomstic completeness theorem for intuitionistic predicate logic}, Volume = {41}, Year = {1976}, bdsk-url-1 = {https://doi.org/10.1017/S0022481200051859}, date-added = {2020-04-02 16:01:49 +0200}, date-modified = {2020-09-07 08:59:32 +0200}, doi = {10.1017/S0022481200051859} }