论文信息 - The intended interpretation of intuitionistic logic - 字舞流文

The intended interpretation of intuitionistic logic

Scott Weinstein

[1] David Hilbert. Philosophy of mathematics: On the infinite , 1984 .

[2] G. Kreisel. A Survey of Proof Theory II , 1971 .

[3] A. Heyting,et al. Intuitionism: An introduction , 1956 .

[4] Georg Kreisel,et al. A survey of proof theory , 1968, Journal of Symbolic Logic.

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

[6] Nicolas D. Goodman,et al. A Theory of Constructions Equivalent to Arithmetic , 1970 .

[7] Georg Kreisel,et al. Foundations of Intuitionistic Logic , 1962 .