Author Info
Name
Affiliation
Papers
M. BEESON
Department of Mathematics and Computer Science, San Jose State University, San Jose, CA 95192, U.S.A.
2
Collaborators
Citations 
PageRank 
2
20
9.50
Referers 
Referees 
References 
27
2
2
Title
Citations
PageRank
Year
Proof-checking Euclid.00.342019
Recursive models for constructive set theories209.161982