Richard Vesley

According to our database, Richard Vesley authored at least 4 papers between 1963 and 1998.

Collaborative distances:

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

1998

A Common Axiom Set for Classical and Intuitionistic Plane Geometry.

Melinda Lombard, Richard Vesley

Ann. Pure Appl. Log., 1998

1996

Realizing Brouwer's Sequences.

Richard Vesley

Ann. Pure Appl. Log., 1996

1983

On a weakening of Markov's Principle.

Andre Scedrov, Richard Vesley

Arch. Math. Log., 1983

1963

On strengthening intuitionistic logic.

Richard Vesley

Notre Dame J. Formal Log., 1963