A computer system for checking proofs

著者

• Johnson, Scott D.

書誌事項

A computer system for checking proofs

by Scott David Johnson

University Microfilms International, 1981

注記

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

Includes bibliographical references (leaves 328-333)

詳細情報

• NII書誌ID(NCID): BC1334299X
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Ann Arbor
• ページ数/冊数: ix, 333 leaves
• 大きさ: 21 cm