Subject
General Computer Science,Theoretical Computer Science
Reference12 articles.
1. P. Clote, Partition relations in arithmetic, in: C.A. DiPrisco (Ed.), Methods in Mathematical Logic, Lecture Notes in Mathematics, Vol. 1130, 1985, pp. 32–68.
2. A short proof of the strong normalization of classical natural deduction with disjunction;David;J. Symbolic Logic,2003
3. On undecidable propositions of formal mathematical systems;Gödel,1965
4. Metamathematics of First-Order Arithmetic;Hájek,1993
5. Introduction to Metamathematics;Kleene,1952
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献