To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism

＜図書＞
To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism

責任表示	edited by J.P. Seldin, J.R. Hindley
データ種別	図書
出版情報	London ; New York : Academic Press , 1980
本文言語	英語
大きさ	xxv, 606 p. : ill. ; 24 cm

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		中央図 3E	411.1/Se 46/1	1980		068582191002981		予約・取寄			予約・取寄
		理系図3F 数理独自	P 80/CURR/1	1980		068222181000372		予約・取寄			予約・取寄

一般注記	Bibliography: p. [xiii]-xx
著者標目	Curry, Haskell B. (Haskell Brooks), 1900- Hindley, J. Roger Seldin, Jonathan P.
件　名	LCSH:Logic, Symbolic and mathematical -- Addresses, essays, lectures 全ての件名で検索 LCSH:Curry, Haskell B. (Haskell Brooks), 1900-
分　類	LCC:QA9.2 DC:511.3
書誌ID	1000032307
ISBN	0123490502
NCID	BA01035434
巻冊次	ISBN:0123490502
NBN	GB80
登録日	2009.09.10
更新日	2009.11.02