论文信息 - Hilbert's ɛ-operator and classical logic - 字舞流文

Hilbert's ɛ-operator and classical logic

John L. Bell | J. Bell

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

[2] R. Sikorski,et al. The mathematics of metamathematics , 1963 .

[3] F. Ramsey. The foundations of mathematics , 1932 .

[4] Gregory H. Moore. Zermelo’s Axiom of Choice , 1982 .

[5] A. Leisenring. Mathematical logic and Hilbert's ε-symbol , 1971 .

[6] M. Beeson. Foundations of Constructive Mathematics , 1985 .