Proof Theory, volume 81 of Studies in Logic. North-Holland (1975)

by G Takeuti
Venue:Research Report 2: BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic. Bernard Serpette, Jean Vuillemin, and Jean-Claude Hervé