PRA

Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Next message: Victor Yodaiken: "Re: PRA implementation"
Previous message: Randall Holmes: "PRA implementation"

Randall Holmes (holmes@catseye.idbsu.edu)
Thu, 2 Nov 1995 09:15:26 -0700

I corrected an error in one of the induction/recursion axioms and also
presented some of the axioms in a more readable format.

The opinions expressed | --Sincerely, M. Randall Holmes
above are not the official | Math. Dept., Boise State Univ.
opinions of any person | holmes@math.idbsu.edu
or institution. | http://math.idbsu.edu/faculty/holmes.html