Some Theories With Positive Induction of Ordinal Strength ... (1996)

by Gerhard Jäger , Thomas Strahm
Venue:JOURNAL OF SYMBOLIC LOGIC
Citations:7 - 3 self