| 1985 | ||
|---|---|---|
| 2 | Maurice Boffa, Paolo Casalegno: The Consistency of Some 4-Stratified Subsystem of NF Including NF3. J. Symb. Log. 50(2): 407-411 (1985) | |
| 1 | Paolo Casalegno: On the T-Degrees of Partial Functions. J. Symb. Log. 50(3): 580-588 (1985) | |
| 1 | Maurice Boffa | [2] |