On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness
On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness
复制标题
论理解、选择和一般一致有界性的限制形式的算术内容
DOI：
--
复制
发表时间：
1997
影响因子：
0.8
通讯作者：
U. Kohlenbach
中科院分区：
文献类型：
--
作者：
U. Kohlenbach
