scientific article; zbMATH DE number 3534469

MaRDI QIDQ4110982zbMATH OpenFDO

Authors Giuliana Gnani

Publication date 1975

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Proof theory and constructive mathematics (03F99)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4110982)