Funder
‘Fonds Professor Wuytack' of Ghent University
Reference19 articles.
1. S. R. Buss An introduction to proof theory. In: Handbook of Proof Theory, Stud. Logic Found. Math., vol. 137, pp. 1-78 (North-Holland Publishing Co., 1998).
2. S. R. Buss Nelson's work on logic and foundations and other reflections on the foundations of mathematics. In: Diffusion, quantum theory, and radically elementary mathematics, Math. Notes, vol. 47, pp. 183-208 (Princeton University Press, 2006).
3. C. C. Chang H. J. Keisler Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73, ed. 3 (North-Holland Publishing Co., 1990).
4. P. Hájek P. Pudlák Metamathematics of First-Order Aritmetic (Springer, 1998).
5. K. Hrbacek Stratified analysis? In: The Strength of Nonstandard Analysis, pp. 47-63 (Springer, 2007).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献