4 results Refine Results
  1. 1
    由 Kleene, Stephen Cole, 1909-
    出版 1965
    图书
    加到收藏夹
    Saved in:
    The foundations of intuitionistic mathematics : especially in relation to recursive functions /
  2. 2
    由 Kleene, Stephen Cole, 1909-
    出版 1967
    图书
    加到收藏夹
    Saved in:
    Mathematical logic.
  3. 3
    由 Kleene, Stephen Cole, 1909-
    出版 1971
    图书
    加到收藏夹
    Saved in:
    Introduction to Metamathematics /
  4. 4
    出版 1980
    其他作者 “...Kleene, Stephen Cole, 1909-...”
    会议录 图书
    加到收藏夹
    Saved in:
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A /

检索工具: