1993 | ||
---|---|---|
2 | Zygmunt Ratajczyk: Subsystems of True Arithmetic and Hierarchies of Functions. Ann. Pure Appl. Logic 64(2): 95-152 (1993) | |
1990 | ||
1 | Henryk Kotlarski, Zygmunt Ratajczyk: Inductive Full Satisfaction Classes. Ann. Pure Appl. Logic 47(3): 199-223 (1990) |
1 | Henryk Kotlarski | [1] |