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
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.