この文献を取り寄せる

このページのリンク

Treatise on intuitionistic type theory / Johan Georg Granström
(Logic, epistemology, and the unity of science / editors, Shahid Rahman, John Symons ; v. 22)

データ種別 図書
出版者 New York : Springer
出版年 c2011
形態 xiii, 196 p. : ill. ; 24 cm
著者標目 *Granström, Johan Georg
件 名 LCSH:Type theory
分 類 NDC9:410.1
LCC:QA9
DC23:511.3
書誌ID LT01049463

所蔵情報を非表示

: pbk 中央自動書庫 410.1/G77/1 2000000418713 9789400736399




書誌詳細を非表示

本文言語 英語
一般注記 Includes bibliographical references (p. [175]-185) and indexes
NCID BC16422610
巻冊次 : pbk ; ISBN:9789400736399
目次/あらすじ

 類似資料

 この資料を借りた人はこんな資料も借りています