Ontologic Versus Epistemologic: Some Strands in the Development of Logic, 1837–1957
暂无分享,去创建一个
[1] Alfred Tarski,et al. Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .
[2] Per Martin-Löf,et al. Intuitionistic type theory , 1984, Studies in proof theory.
[3] A. Heyting. Die intuitionistische Grundlegung der Mathematik , 1931 .
[4] H. Scholz,et al. Grundzüge der mathematischen Logik , 1961 .
[5] A. Tarski,et al. Arithmetical extensions of relational systems , 1958 .
[6] Edmund Taylor Whittaker,et al. The Philosophy of Bertrand Russell , 1945, Nature.