A note to my paper: ``On characterizations of the first-order functional calculus''.
Juliusz Reichbach · Notre Dame Journal of Formal Logic · 1961
In [l] I have presented two characterizations of theses of the firstorder functional calculus; the first characterization may be modified in the following way: D.O.Q(k).= .Q is a non-empty set of tables of the rank k.D.I. Q/T, i v . . ., i w .a .(3Tj) Q/p . . .Qj m ) i(T 1