I'm a professor of mathematics at Boise State University, since 1991. I study Quine's New Foundations and related systems and I write theorem provers.
-
Boise State University
- Boise ID
- https:\\Randall-Holmes.github.io
Search results
0 open and 0 closed projects found.-
There aren't any projects yet