R. E. Vesley

Statistics

Publications

Citations

548

H-Index

Active since

1967

Affiliations

University at Buffalo, State University of New York(Current)

R. E. Vesley is an author at University at Buffalo, State University of New York specializing in automated reasoning, intuition, and mathematical foundations.

Top concepts

IntuitionAutomated ReasoningGeometryEpistemologyIntegral GeometryMathematical Foundations

Publications per year

1967–1998

Publications

Intuitionism and Proof Theory

Akiko Kino, John Myhill, R. E. Vesley · 1970 · 373 citations

Automated Reasoning, Constructive Logic, Epistemology +3

The Foundations of Intuitionistic Mathematics.

Henry E. Kyburg, S. C. Kleene, R. E. Vesley · American Mathematical Monthly · 1967 · 155 citations

Intuitionistic Logic, Constructive Mathematics, Automated Reasoning +4

A common axiom set for classical and intuitionistic plane geometry

Melinda Lombard, R. E. Vesley · Annals of Pure and Applied Logic · 1998 · 20 citations

Integral Geometry, Finite Geometry, Geometry +4

1–3 of 3