论文信息 - α Logic and Infinitary Languages - 字舞流文

α Logic and Infinitary Languages

Newton C. A. da Costa | Charles C. Pinter

[1] Leon Henkin,et al. The completeness of the first-order functional calculus , 1949, Journal of Symbolic Logic.

[2] Leon Henkin,et al. A generalization of the concept of ω-consistency , 1954, Journal of Symbolic Logic.

[3] Leon Henkin. A Generalization of the Concept of omega-Completeness , 1957, J. Symb. Log..

[4] A. Robinson. Introduction to model theory and to the metamathematics of algebra , 1964 .