@article{Boolos:1975wk,
    Author = {Boolos, George S.},
    BookTitle = {The Journal of Philosophy},
    File = {On Second-Order Logic - 2025179.pdf},
    ISBN = {0022362X},
    Month = {2021/08/31/},
    Number = {16},
    Pages = {509--527},
    Publisher = {Journal of Philosophy, Inc.},
    Title = {On Second-Order Logic},
    URL = {http://www.jstor.org/stable/2025179},
    Volume = {72},
    Year = {1975},
    bdsk-url-1 = {http://www.jstor.org/stable/2025179},
    bdsk-url-2 = {https://doi.org/10.2307/2025179},
    c1 = {Full publication date: Sep. 18, 1975},
    date-added = {2021-08-31 10:34:20 +0200},
    date-modified = {2021-08-31 10:34:20 +0200},
    db = {JSTOR},
    ty = {JOUR},
    doi = {10.2307/2025179}
}

@article{Boolos:1975wk, Author = {Boolos, George S.}, BookTitle = {The Journal of Philosophy}, File = {On Second-Order Logic - 2025179.pdf}, ISBN = {0022362X}, Month = {2021/08/31/}, Number = {16}, Pages = {509--527}, Publisher = {Journal of Philosophy, Inc.}, Title = {On Second-Order Logic}, URL = {http://www.jstor.org/stable/2025179}, Volume = {72}, Year = {1975}, bdsk-url-1 = {http://www.jstor.org/stable/2025179}, bdsk-url-2 = {https://doi.org/10.2307/2025179}, c1 = {Full publication date: Sep. 18, 1975}, date-added = {2021-08-31 10:34:20 +0200}, date-modified = {2021-08-31 10:34:20 +0200}, db = {JSTOR}, ty = {JOUR}, doi = {10.2307/2025179} }