ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 学部
  2. 教養部
  3. 愛知学院大学教養部紀要
  4. 第58巻
  5. 第4号

デーデキント無限と型理論

https://agu.repo.nii.ac.jp/records/60
https://agu.repo.nii.ac.jp/records/60
7eb28948-26b4-4c33-a896-e94cfbdad479
名前 / ファイル ライセンス アクション
教養部紀要 第58巻 第4号-73-109.pdf デーデキント無限と型理論 (1.7 MB)
license.icon
Item type 紀要論文 / Departmental Bulletin Paper(1)
公開日 2020-08-27
タイトル
タイトル デーデキント無限と型理論
タイトル
タイトル The Dedekind-infinite and a Type Theory
言語 en
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ departmental bulletin paper
著者 久馬, 栄道

× 久馬, 栄道

WEKO 47

久馬, 栄道

ja-Kana キュウマ, エイドウ

en KYUMA, Eido

Search repository
書誌情報 愛知学院大学教養部紀要
en : THE JOURNAL OF AICHI GAKUIN UNIVERSITY Humanities & Sciences

巻 58, 号 4, p. 73-109, 発行日 2011-03-31
出版者
出版者 愛知学院大学教養教育研究会
ISSN
収録物識別子タイプ ISSN
収録物識別子 0916-2631
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN10114546
論文ID(NAID)
識別子タイプ NAID
関連識別子 40018763764
戻る
0
views
See details
Views

Versions

Ver.1 2023-05-15 13:37:03.920538
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3