Inductive definitions, constructive ordinals, and normal derivations
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 143-187
- https://doi.org/10.1007/bfb0091897
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: