ML-1989-07: Dirk Roorda Elementary Inductive Definitions in HA: from Strictly Positive towards Monotone 1.Full Text. < Back
