Language, proof and logic

Author(s)

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

Bibliographic Information

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

Note

Includes indexes

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

"Text/Software Package"--Cover

Details

• NCID: BB07148543
• ISBN:
  • 9781575866321
• LCCN: 2011019703
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford
• Pages/Volumes: xiii, 606 p.
• Size: 24 cm.
• Attached Material: 1 computer laser optical disc (4 3/4 in.)
• Classification:
  • LCC : BC71
  • DC21 : 160
• Subject Headings:
  • LCSH : Logic