Quantifier-free and one-quantifier systems
暂无分享，去创建一个
[1] C. Parsons. On a Number Theoretic Choice Schema and its Relation to Induction , 1970 .
[2] Georg Kreisel,et al. Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems , 1968 .
[3] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .