Recursive functionals and quantifiers of finite types. I 论文
1959Transactions of the American Mathematical Society引用 319
Computability, Logic, AI AlgorithmsLogic, programming, and type systemsLogic, Reasoning, and Knowledge
摘要
This result was obtained by Tarski Also cf. [29].