Showing 1 - 1 results of 1 for search '"classical analysis godel function Theory of functions"', 查询时间: 0.04s Refine Results
  1. 1
    Extensional Godel functional intepretation: A consistency of proof of classical analysis
    由 Luckhardt, Horst
    出版 1973
    主题: “...classical analysis godel function Theory of functions...”
    Printed Book
检索工具: 得到RSS订阅 — 推荐此搜索