Robert D. Carnes

Publication Activity (10 Years)

Years Active: 1968-1991
Publications (10 Years): 0

Publications

Robert D. Carnes, Philip L. Peterson
Intermediate Quantifiers Versus Percentages. Notre Dame J. Formal Log. 32 (2) (1991)
Robert D. Carnes
A reduction procedure for Sheffer stroke formulas. Notre Dame J. Formal Log. 10 (3) (1969)
Robert D. Carnes, William C. Wilcox
An infixed, punctuation-free notation. Notre Dame J. Formal Log. 9 (2) (1968)