Elementary inductive definitions in HA: from strictly positive towards monotone

Dirk Roorda

Research output: Contribution to journal/periodical › Article › Scientific › peer-review

169 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Elementary inductive definitions in HA: from strictly positive towards monotone'. Together they form a unique fingerprint.

Mathematics