Type-Logical Semantics

Carpenter, Bob

Type-Logical Semantics
  • 出版商: MIT
  • 出版日期: 1998-07-24
  • 售價: $3,150
  • 貴賓價: 9.8 折 $3,087
  • 語言: 英文
  • 頁數: 598
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 0262531496
  • ISBN-13: 9780262531498
  • 相關分類: Computer-Science

    • 海外代購書籍(需單獨結帳)

商品描述

類似商品