Publication:4078001

zbMath0317.02046MaRDI QIDQ4078001

Dimiter Skordev

Publication date: 1974

Mathematics Subject Classification ID

03D05: Automata and formal grammars in connection with logical questions

03B40: Combinatory logic and lambda calculus

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