William Russell Belding

Publication Activity (10 Years)

Years Active: 1970-1973
Publications (10 Years): 0

Publications

William Russell Belding
Incidence rings of pre-ordered sets. Notre Dame J. Formal Log. 14 (4) (1973)
William Russell Belding, Richard L. Poss
A note on: "Transitivity, supertransitivity and induction". Notre Dame J. Formal Log. 14 (4) (1973)
William Russell Belding, Richard L. Poss, Paul J. Welsh
Transitivity, supertransitivity and induction. Notre Dame J. Formal Log. 13 (2) (1972)
William Russell Belding
Induction on fields of binary relations. Notre Dame J. Formal Log. 13 (2) (1972)
William Russell Belding
Intuitionistic negation. Notre Dame J. Formal Log. 12 (2) (1971)
William Russell Belding
A note on the intuitionist fan theorem. Notre Dame J. Formal Log. 11 (4) (1970)