Eintrag weiter verarbeiten
A note on parameter free Π1-induction and restricted exponentiation: parameter free Π<sub>1</sub> -induction and restricted exponentiation
Gespeichert in:
Zeitschriftentitel: | Mathematical Logic Quarterly |
---|---|
Personen und Körperschaften: | , , |
In: | Mathematical Logic Quarterly, 57, 2011, 5, S. 444-455 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Wiley
|