Hyperproof

Hyperproof

by Barwise, Jon

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Hyperproof / John Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush [and others].

Edition Statements

  • Publication Date:1993.

Publication Statements

  • Publisher(s):CSLI Publications
  • Place of Publication:Stanford, Calif
  • Language:eng
  • Publication Date:1993.

The Physical Object

  • Description:xvii, 255 pages : : illustrations ; : 26 cm +

Edition Identifiers

  • ISBN:1881526119, 9781881526117
  • oclc:ocn601718015
  • LC Classification:QA76
  • Dewey Decimal:160/.285/5369

Subjects

Computer Science data processing Electronic Data Processing Hyperproof Informatique Logic, Symbolic and mathematical Logique symbolique et mathématique Macintosh (Computer) Macintosh (Ordinateur)

Writers

Barwise, Jon Etchemendy, John

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Hyperproof -- (.djvu)

    DJVU · 2.4 MB · updated
    Login →

  • Hyperproof -- (.pdf)

    PDF · 11.9 MB · updated
    Login →