scientific article; zbMATH DE number 3513761

MaRDI QIDQ4093427zbMATH OpenFDO

Authors Jens Erik Fenstad

Publication date 1975

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)

Cited in

(2)

• Unconventional algorithms: complementarity of axiomatics and construction
• Generalizing Computability Theory to Abstract Algebras

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 Q4093427)