このページのリンク

利用統計

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

<図書>
Intuitionistic type theory

責任表示 Per Martin-Löf
シリーズ Studies in proof theory : lecture notes;1
データ種別 図書
出版者 Napoli : Bibliopolis
出版年 c1984
本文言語 英語
大きさ 91 p. ; 24 cm

所蔵情報


伊都図(中央) BF 開架 068582191002978 413.9/Ma 53/1 1984

書誌詳細

一般注記 Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980
著者標目 *Martin-Löf, Per, 1942-
書誌ID 1000001722
ISBN 8870881059
NCID BA02733323
巻冊次 ISBN:8870881059
登録日 1992.05.19
更新日 1996.03.07