こちらに共通ヘッダが追加されます。
検索結果一覧に戻る

この情報を出力する

このページのリンク

他の検索サイト

Introduction to higher order categorical logic / J. Lambek, P.J. Scott
(Cambridge studies in advanced mathematics ; 7)

データ種別 図書
出版者 Cambridge [Cambridgeshire] ; New York : Cambridge University Press
出版年 c1986
大きさ ix, 293 p. ; 24 cm

所蔵情報を非表示

経済学部
415.4||L2 862006829


理工学部 情報系
415.4||L2 932022827


書誌詳細を非表示

書誌ID BB00329254
本文言語 英語
一般注記 Bibliography: p. [279]-288
Includes indexes
著者標目  *Lambek, Joachim
 Scott, P. J.
件　名 LCSH:Categories (Mathematics)
分　類 LCC:QA169
DC19:512/.55
巻冊次 ISBN:0521246652 RefWorks出力（各巻）
NCID BA29609620
目次・あらすじ

 類似資料

検索結果一覧に戻る