A Pursuit of Simple Basic System
暂无分享，去创建一个
[1] A certain kind of formal theories , 1965 .
[2] W. V. Quine,et al. Der Minimalkalkul, ein Reduzierter Intutionistischer Formalismus. , 1937 .
[3] A. Heyting. Die formalen Regeln der intuitionistischen Logik , 1930 .
[4] Haskell B. Curry,et al. Foundations of Mathematical Logic , 1964 .