Publication:4100072

From MaRDI portal

Jump to:navigation, search

zbMath0333.02029MaRDI QIDQ4100072

Dimiter Skordev

Publication date: 1974

Mathematics Subject Classification ID

03D20: Recursive functions and relations, subrecursive hierarchies

03D99: Computability and recursion theory

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4100072&oldid=17865868"