W. David Sharp

According to our database, W. David Sharp authored at least 1 paper in 1988.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1988

On proving functional incompleteness in symbolic logic classes.

Francis Jeffry Pelletier, W. David Sharp

Notre Dame J. Formal Log., 1988