A computer system for checking proofs

Author(s)

Bibliographic Information

A computer system for checking proofs

by Scott David Johnson

University Microfilms International, 1981

Available at  / 1 libraries

Search this Book/Journal

Note

Facsim. Reprint of the author's thesis (Ph.D.)--Cornell University, 1981

Includes bibliographical references (leaves 328-333)

Details

  • NCID
    BC1334299X
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Ann Arbor
  • Pages/Volumes
    ix, 333 leaves
  • Size
    21 cm
Page Top