论文信息 - Beweistheorie vonKPN - 字舞流文

Beweistheorie vonKPN

Gerhard Jäger | G. Jäger

[1] Kurt Schütte. Proof theory , 1977 .

[2] William W. Tait,et al. Normal derivability in classical logic , 1968 .

[3] Harvey M. Friedman,et al. Set theoretic foundations for constructive analysis , 1977 .

[4] Jon Barwise,et al. Admissible sets and structures , 1975 .