01
Iterated Inductive Definitions and Subsystems of Analysis Recent Proof-Theoretical Studies
An early work in this author overview with a supported 1981 catalog date.
Author
W. Pohlers
1 cataloged contributions
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading W. Pohlers, drawn from catalog context and salon activity when available.
The catalog
Bibliography
1 work
No contribution clears the current Core threshold, so all cataloged contributions are shown.
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0