このページのリンク

利用統計

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Studies in proof theory : lecture notes

データ種別 図書
出版者 Napoli : Bibliopolis

子書誌情報

1 1 Intuitionistic type theory / Per Martin-Löf Napoli : Bibliopolis , c1984

書誌詳細

書誌ID 1000001723
NCID BA06884557
登録日 1992.05.19
更新日 1996.03.07