R. E. Vesley - Concepedia

Author

R. E. Vesley

University at Buffalo, State University of New York

Also Known As

R. E. Vesley, R. Vesley, R.E. Vesley, Richard E Vesley, Richard E. Vesley, Richard Vesley

Publications

755

Citations

H-Index

Concepts

All Affiliations

University at Buffalo, State University of New York

About

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

#	Concept	H-Index	Publications	Citations
1	Automated Reasoning	2	2	528
2	Mathematical Foundations	1	1	155
3	Epistemology	1	1	373
4	Geometry	1	1	20
5	Integral Geometry	1	1	20

R. E. Vesley

Publications

548

Citations

H-Index

Page 1

	Year	Citations
Intuitionism and Proof Theory Akiko Kino, John Myhill, R. E. Vesley Automated ReasoningConstructive LogicEpistemologyMathematical ProofProof Theory	1970	373
The Foundations of Intuitionistic Mathematics. Henry E. Kyburg, S. C. Kleene, R. E. Vesley American Mathematical Monthly Intuitionistic LogicConstructive MathematicsAutomated ReasoningConstructive LogicMathematical Foundations	1967	155
A common axiom set for classical and intuitionistic plane geometry Melinda Lombard, R. E. Vesley Annals of Pure and Applied Logic Integral GeometryFinite GeometryGeometryCommon AxiomSet-theoretic Topology	1998	20

Page 1