Elementary Inductive Definitions in HA: from Strictly Positive towards Monotone | Institute for Logic, Language and Computation

Mathematical Logic and Foundations (ML) Series (1988-1998)

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

Back