Papers on Proof Theory


CSRG publications on Proof Theory:

Hierarchies of Provably Recursive Functions
M.Fairtlough, S.Wainer
This page was last modified on May 24 1996 by Chih Nam Yap.