Pure Second-Order Logic with Second-Order Identity.

Alexander Paseau Pure Second-Order Logic with Second-Order Identity. 351-360 2010 51 Notre Dame J. Formal Log. 3 https://doi.org/10.1215/00294527-2010-021 db/journals/ndjfl/ndjfl51.html#Paseau10