A Simple Ordinal Recursive Normalization of Gdel's T.

Paul J. Voda

Browse the full CSL paper archive.