Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
- 1 January 1981
- book
- Published by Springer Nature in Lecture Notes in Mathematics
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: