http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Part I: The Logic. 1 - Introduction -- 2 - A Primer for the Logic -- 3 - Formalization Within the Logic -- 4 - A Precise Description of the Logic -- 5 - Proving Theorems in the Logic Part II: Using the System. 6 - Mechanized Proofs in the Logic -- 7 - An Introduction to the System -- 8 - A Sample Session with the Theorem Prover -- 9 - How to Use the Theorem Prover -- 10 - How the Theorem Prover Works -- 11 - The Four Classes of Rules Generated from Lemmas -- 12 - Reference Guide -- 13 - Hints on Using the Theorem Prover -- 14 - Installation Guide -- Appendix I - A Parser for the Syntax -- Appendix II - The Primitive Shell Axioms -- Appendix III - On the Difficulty of Proofs -- References -- Index -- Perspectives in Computing.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Includes bibliographical references (pages 397-399) and index.
Perspectives in computing (Boston, Mass.) ; vol. 23