Author:
Baaz Matthias,Zach Richard
Reference3 articles.
1. Krajíček, J. and P. Pudlák. [1988] The number of proof lines and the size of proofs in first order logic. Arch. Math. Logic, 27, 69–84.
2. Schütte, K. [1960] Beweistheorie. Springer, Berlin.
3. Yukami, T. [1984] Some results on speed-up. Ann. Japan Assoc. Philos. Sci., 6, 195–205.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献