@article{urba:note09, author = {Rafa{\l} Urbaniak }, title = {A note on identity and higher-order quantification.}, journal = {The Australasian Journal of Logic}, year = 2009, volume = 7, pages = {48--55}, URL = {http://www.philosophy.unimelb.edu.au/ajl/2009/}, }