CiNiiで詳細を確認

このページのURL

この文献を取り寄せる

<図書>
History and philosophy of constructive type theory / by Giovanni Sommaruga
(Synthese library ; v. 290)

出版者 Dordrecht ; Boston : Kluwer Academic
出版年 c2000
大きさ x, 354 p. ; 25 cm
本文言語 英語
書誌ID 2003404181
NCID BA47675489 WCLINK

所蔵情報を非表示

総合図-書庫棟 研究用図書
410.96||SOM 16200279921

0792361806
人科学哲学2
410.96||SOM 10900375618

0792361806

書誌詳細を非表示

一般注記 Includes bibliographical references (p.349-354)
著者標目 *Sommaruga, Giovanni
巻冊次 ISBN:0792361806