论文信息 - On predicates with constructive infinitely long expressions - 字舞流文

On predicates with constructive infinitely long expressions

Gaisi Takeuti | Akiko Kino | G. Takeuti | Akiko Kino

[1] Gaisi Takeuti,et al. A formal system of first-order predicate calculus with infinitely long expressions , 1961 .

[2] Alfred Tarski. Remarks on predicate logic with infinitely long expressions , 1958 .

[3] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[4] S. Kleene. On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper) , 1955 .

[5] S. Kleene. Arithmetical predicates and function quantifiers , 1955 .