Notes on intuitionistic second order arithmetic

書誌事項

Notes on intuitionistic second order arithmetic

A. S. Troelstra

(Report, 71-05)

University of Amsterdam. Mathematisch Instituut, 1971

この図書・雑誌をさがす
注記

"Received October 22, 1971"

関連文献: 1件中  1-1を表示
  • Report

    Department of Mathematics, University of Amsterdam

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