Authors: Holmes, MR

Citation: Mr. Holmes, Foundations of mathematics in polymorphic type theory (mathematical philosophy), TOPOI, 20(1), 2001, pp. 29-52

Authors: Holmes, MR

Citation: Mr. Holmes, Strong axioms of infinity in NFU, J SYMB LOG, 66(1), 2001, pp. 87-116