Combinatory logic pure, applied and typed / [electronic resource] :

• 作者： Bimbó, Katalin, 1963-
• 其他題名：
  • Discrete mathematics and its applications
• 出版： Boca Raton, FL : CRC Press
• 叢書名： Discrete mathematics and its applications
• 主題： Combinatory logic.
• ISBN： 9781439800010 (electronic bk.) 、 1439800014 (electronic bk.)
• FIND@SFXID: CGU
• 資料類型: 電子書
• 內容註: Includes bibliographical references and index.
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: