scientific article; zbMATH DE number 3443635

MaRDI QIDQ4769047zbMATH OpenFDO

Authors B. A. Kusner

Publication date 1966

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) 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 Q4769047)