Hyperproof

Author(s)

• Barwise, Jon
• Etchemendy, John

Bibliographic Information

Hyperproof

Jon Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.]

（CSLI lecture notes, no. 42）

CSLI Publications, c1994

• : pbk

Details

• NCID: BA23770361
• ISBN:
  • 1881526119
• LCCN: 93030747
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: xvii, 255 p.
• Size: 26 cm
• Attached Material: 1 floppy disk (3 1/2 in.)
• Classification:
  • LCC : QA76
  • DC20 : 160/.285/5369
• Subject Headings:
  • LCSH : Computer science
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Hyperproof
  • LCSH : Macintosh (Computer)
• Parent Bibliography ID:
  • BA0037651X