Consistency of n-order logics

William J. Thomas. Consistency of n-order logics. Notre Dame Journal of Formal Logic, 17(2):257-262, 1976. [doi]

Abstract

Abstract is missing.