Proof-theoretic Semantics for Classical Mathematics
暂无分享,去创建一个
[1] Willard Van Orman Quine. Mathematical Logic: Revised Edition , 1982 .
[2] Douglas S. Bridges,et al. Constructivity in Mathematics , 2004 .
[3] M. Schönfinkel. Über die Bausteine der mathematischen Logik , 1924 .
[4] Giovanni Sambin,et al. Twenty-five years of constructive type theory. , 1998 .
[5] Willard Van Orman Quine,et al. Selected Logic Papers , 1966 .
[6] William A. Howard,et al. The formulae-as-types notion of construction , 1969 .
[7] Per Martin-Löf,et al. An intuitionistic theory of types , 1972 .