The lambda calculus, its syntax and semantics

著者

• Barendregt, H. P. (Hendrik Pieter)

書誌事項

The lambda calculus, its syntax and semantics

Henk P. Barendregt

（Studies in logic / series editor, Dov Gabbay, v. 40）

College Publications, c2012

注記

Bibliography: p. [585]-598, E16

Includes indexes

"Addenda for the sixth imprinting": p. E1-E2

詳細情報

• NII書誌ID(NCID): BB21404213
• ISBN:
  • 9781848900660
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: xv, 621, 16 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9.5
  • DC23 : 511.3
• 件名:
  • LCSH : Lambda calculus
• 親書誌ID:
  • BA82085144