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, c2002

• : pbk

Other Title

Language proof & logic

Note

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)

Details

• NCID: BA58284428
• ISBN:
  • 9781575863740
• LCCN: 99041113
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: xi, 587 p.
• Size: 24 cm.
• Attached Material: 1 compact disc
• Classification:
  • LCC : BC61
  • DC21 : 160
• Subject Headings:
  • LCSH : Logic