Language proof and logic

著者

• Barwise, Jon
• Etchemendy, John
• Allwein, Gerard
• Barker-Plummer, Dave
• Liu, Albert

書誌事項

Language proof and logic

Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu

CSLI Publications, c2002

• : pbk

タイトル別名

Language proof & logic

注記

Accompanied by leaflet "LPL software manual" (52 p. ; 22 cm.)

Leaflet of later printing, c2009, slightly changed "Language, proof and logic software manual / Gerald Allwein, ... [et al.]" (56 p. ; 22 cm.)

"Text/Software Package"--Cover

CD Version 1.3 (c2002), version 2.7(c2008)

詳細情報

• NII書誌ID(NCID): BA58284428
• ISBN:
  • 9781575863740
• LCCN: 99041113
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, Calif.
• ページ数/冊数: xi, 587 p.
• 大きさ: 24 cm.
• 付属資料: 1 compact disc
• 分類:
  • LCC : BC61
  • DC21 : 160
• 件名:
  • LCSH : Logic