5 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
M. Randall Holmes
This is my working paper on a proposed logical framework for the practice of mathematics, which is paralleled by philosophical considerations and a computer implementation (a varia…