Cordón-Franco, A.(2011). A note on parameter free Π1-induction and restricted exponentiation: Parameter free Π<sub>1</sub> -induction and restricted exponentiation. Mathematical Logic Quarterly, 57(5), 444-455. doi:10.1002/malq.201010013
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.