A computer system for checking proofs /

Bibliographic Details
Main Author:	Johnson, Scott D.
Format:	Book
Language:	English
Published:	Ann Arbor, Mich. : UMI Research Press, [1982]
Series:	Computer science. Artificial intelligence ; no. 12.
Subjects:	Computer programs > Verification. PL/CV (Computer program language)

Description
Item Description:	Revision of the author's thesis (Ph. D.)--Cornell University, 1981. Includes index.
Physical Description:	xiv, 262 pages : illustrations ; 24 cm.
Bibliography:	Bibliography: pages [253]-258.
ISBN:	0835713431