Computability of terms and notions of realizability for Intuitionistic analysis

著者

書誌事項

Computability of terms and notions of realizability for Intuitionistic analysis

A.S. Troelstra

（Report, 71-02）

University of Amsterdam. Mathematisch Instituut, 1971

大学図書館所蔵 件 / 全3件

この図書・雑誌をさがす

注記

"Received February 1971"

関連文献： 1件中  1-1を表示

  • Report

    Department of Mathematics, University of Amsterdam

詳細情報

  • NII書誌ID(NCID)
    BB24144593
  • 出版国コード
    ne
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Amsterdam
  • ページ数/冊数
    60 leaves
  • 大きさ
    30 cm
  • 親書誌ID
ページトップへ