@article{mints1989,
    Author = {Mints, G. E.},
    File = {The completeness of provable realizability. - Mints (0) (0) - a - a - c.pdf},
    Journal = {Notre Dame Journal of Formal Logic},
    Month = {06},
    Number = {3},
    Pages = {420--441},
    Publisher = {Duke University Press},
    Title = {The completeness of provable realizability.},
    URL = {http://dx.doi.org/10.1305/ndjfl/1093635158},
    Volume = {30},
    Year = {1989},
    ajournal = {Notre Dame J. Formal Logic},
    bdsk-url-1 = {http://dx.doi.org/10.1305/ndjfl/1093635158},
    date-added = {2014-09-08 07:50:33 +0000},
    date-modified = {2014-09-08 07:50:33 +0000},
    doi = {10.1305/ndjfl/1093635158}
}

@article{mints1989, Author = {Mints, G. E.}, File = {The completeness of provable realizability. - Mints (0) (0) - a - a - c.pdf}, Journal = {Notre Dame Journal of Formal Logic}, Month = {06}, Number = {3}, Pages = {420--441}, Publisher = {Duke University Press}, Title = {The completeness of provable realizability.}, URL = {http://dx.doi.org/10.1305/ndjfl/1093635158}, Volume = {30}, Year = {1989}, ajournal = {Notre Dame J. Formal Logic}, bdsk-url-1 = {http://dx.doi.org/10.1305/ndjfl/1093635158}, date-added = {2014-09-08 07:50:33 +0000}, date-modified = {2014-09-08 07:50:33 +0000}, doi = {10.1305/ndjfl/1093635158} }