Publication:4078001
From MaRDI portal
zbMath0317.02046MaRDI QIDQ4078001
Publication date: 1974
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.