Mathematics and Logic: A brief survey serving as preface to a review ofThe Philosophy of Bertrand Russell
暂无分享,去创建一个
[1] A. Church. A Bibliography of Symbolic Logic , 1936 .
[2] G. Gentzen. Die Widerspruchsfreiheit der reinen Zahlentheorie , 1936 .
[3] G. Cantor,et al. Gesammelte Abhandlungen mathematischen und philosophischen Inhalts , 1934 .
[4] E. Zermelo. Untersuchungen über die Grundlagen der Mengenlehre. I , 1908 .
[5] Willard Van Orman Quine,et al. New Foundations for Mathematical Logic , 1937 .