A computer system for checking proofs
By: by Scott D. Johnson.
Series: Computer science.; no. 12
Publisher: UMI Research Press
Published: 1982
Place of publication: Ann Arbor, Mich
Language: eng
Number of pages: 262
Subjects: Computer programs -- Verification.; PL/CV (Computer program language)
Notes: Bibliography: p. [253]-258.
Revision of the author's thesis (Ph. D.)--Cornell University, 1981.
Includes index.