Language proof and logic

Author(s)

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

Bibliographic Information

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

Other Title

Language proof & logic

Note

"Text/Software Package"

1 CD-ROM in pocket (12 cm)

Details

• NCID: BA46395603
• ISBN:
  • 1889119083
• LCCN: 99041113
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.,New York
• Pages/Volumes: xi, 587 p.
• Size: 24 cm
• Attached Material: 1 CD-ROM (12 cm)
• Classification:
  • LCC : BC61
  • DC21 : 160
• Subject Headings:
  • LCSH : Logic