W. David Sharp

Publication Activity (10 Years)

Years Active: 1988-1988
Publications (10 Years): 0

Publications

Francis Jeffry Pelletier, W. David Sharp
On proving functional incompleteness in symbolic logic classes. Notre Dame J. Formal Log. 29 (2) (1988)