论文信息 - An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic - 字舞流文

An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic

[1] S. C. Kleene,et al. The Foundations of Intuitionistic Mathematics. , 1967 .

[2] Saul A. Kripke,et al. Semantical Analysis of Intuitionistic Logic I , 1965 .

[3] J. N. Crossley,et al. Formal Systems and Recursive Functions , 1963 .

[4] Georg Kreisel,et al. On weak completeness of intuitionistic predicate logic , 1962, Journal of Symbolic Logic.

[5] Peter Aczel,et al. Saturated Intuitionistic Theories , 1968 .