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 , Seven Bridges Press, 1999

• : pbk

タイトル別名

Language proof & logic

注記

"Text/Software Package"

1 CD-ROM in pocket (12 cm)

詳細情報

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