Toward a Theory of Second-Order Consequence. - Augustín Rayo; Gabriel Uzquiano (Notre Dame J. Formal Log., 1999)