Merkliste 
 1 Ergebnisse 
 
1

A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHE..:

KENTARO, SATO
The Journal of Symbolic Logic.  84 (2019)  1 - p. 226-265 , 2019