Eintrag weiter verarbeiten
A note on parameter free Π1-induction and restricted exponentiation: parameter free Π<sub>1</sub> -induction and restricted exponentiation
Uloženo v:
Název časopisu: | Mathematical Logic Quarterly |
---|---|
Personen und Körperschaften: | , , |
In: | Mathematical Logic Quarterly, 57, 2011, 5, s. 444-455 |
Formát: | Článek |
Jazyk: | angličtina |
vydáno v: |
Wiley
|