CiNiiで詳細を確認

このページのURL

この文献を取り寄せる

<図書>
Combinators, λ-terms and proof theory / Sören Stenlund
(Synthese library)

出版者 Dordrecht : D. Reidel
出版年 c1972
大きさ 184 p. ; 23 cm
本文言語 英語
書誌ID 2003252741
NCID BA04530870 WCLINK

所蔵情報を非表示

総合図-書庫
410.12||STE 07358014756

9027703051
総合図-自動書庫
||5175/A 07325038805

9027703051

書誌詳細を非表示

一般注記 Akademisk avhandling--Uppsala
Extra t.p. with thesis statement inserted
Bibliography: p. 177-180
Includes indexes
著者標目 *Stenlund, Sören
件 名 LCSH:Proof theory
LCSH:Combinatory logic
分 類 LCC:QA9
DC:511/.3
NDLC:MA41
巻冊次 ISBN:9027703051