The Consistency of Some 4-Stratified Subsystem of NF Including NF3. - Maurice Boffa; Paolo Casalegno (J. Symb. Log., 1985)

On the T-Degrees of Partial Functions. - Paolo Casalegno (J. Symb. Log., 1985)