Constructive Theories of Functions and Classes-猫眼课题宝

函数和类的构造性理论

DOI：

10.1016/s0049-237x(08)71625-2

发表时间：

1979

期刊：

Studies in logic and the foundations of mathematics

影响因子：

--

通讯作者：

中科院分区：

--

文献类型：

--

作者：

S. Feferman