Eintrag weiter verarbeiten
An intensional fixed point theory over first order arithmetic
Gespeichert in:
Zeitschriftentitel: | Annals of Pure and Applied Logic |
---|---|
Personen und Körperschaften: | |
In: | Annals of Pure and Applied Logic, 128, 2004, 1-3, S. 197-213 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |