Transfinite Recursion in a Theory of Properties

Stephen Pollard. Transfinite Recursion in a Theory of Properties. Math. Log. Q., 32(19-24):307-314, 1986. [doi]

Abstract

Abstract is missing.