Further processing options
A note on parameter free Π1-induction and restricted exponentiation: parameter free Π<sub>1</sub> -induction and restricted exponentiation
Saved in:
Journal Title: | Mathematical Logic Quarterly |
---|---|
Authors and Corporations: | , , |
In: | Mathematical Logic Quarterly, 57, 2011, 5, p. 444-455 |
Type of Resource: | E-Article |
Language: | English |
published: |
Wiley
|