The lambda calculus : its syntax and semantics

H.P. Barendregt

この本の情報

書名 The lambda calculus : its syntax and semantics
著作者等 Barendregt, H. P.
シリーズ名 Studies in logic and the foundations of mathematics
出版元 North-Holland
Sole distributors for the USA and Canada, Elsevier Science Pub.
刊行年月 1984
版表示 Rev. ed.
ページ数 xv, 621 p.
大きさ 23 cm
ISBN 0444875085
0444867481
NCID BA01309096
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想