Language, proof and logic

著者

• Barker-Plummer, Dave
• Barwise, Jon
• Etchemendy, John
• Liu, Albert
• Murray, Michael
• Pease, Emma

書誌事項

Language, proof and logic

Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease

CSLI Publications, 2011

2nd ed

• : pbk

注記

Includes indexes

Accompanied by leaflet "Language, proof and logic 2nd edition software manual" (56 p. ; 22 cm.)

"Text/Software Package"--Cover

詳細情報

• NII書誌ID(NCID): BB07148543
• ISBN:
  • 9781575866321
• LCCN: 2011019703
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford
• ページ数/冊数: xiii, 606 p.
• 大きさ: 24 cm.
• 付属資料: 1 computer laser optical disc (4 3/4 in.)
• 分類:
  • LCC : BC71
  • DC21 : 160
• 件名:
  • LCSH : Logic