beyond goedel simply consistent constructive systems of first order peano´s arithmetic that do not yield undecidable propositions by goedel´s reasoning
本文档由 bhl006 分享于2016-04-11 07:44
beyond goedel simply consistent constructive systems of first order peano´s arithmetic that do not yield undecidable propositions by goedel´s reasoning
下载文档
收藏
打印
分享:
君,已阅读到文档的结尾了呢~~