Harold Goldberg

According to our database, Harold Goldberg authored at least 1 paper in 1974.

Collaborative distances:

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

1974

A strong completeness theorem for 3-valued logic.

Harold Goldberg, Hugues Leblanc, George Weaver

Notre Dame J. Formal Log., 1974