A Mathematical Incompleteness in Peano Arithmetic-猫眼课题宝

DOI：

10.1016/s0049-237x(08)71130-3

发表时间：

1977

期刊：

Studies in logic and the foundations of mathematics

影响因子：

--

通讯作者：

中科院分区：

其他

文献类型：

--

作者：

J. Paris