Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003990274/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b5745109.
- catalog contributor b5745110.
- catalog created "c1994.".
- catalog date "1994".
- catalog date "c1994.".
- catalog dateCopyrighted "c1994.".
- catalog description "About Hyperproof -- I. Basic Concepts. 1. Comparing Tarski's World and Hyperproof. 2. Proofs of Consequence and Nonconsequence. 3. Sentential Consequence Rules. 4. Proofs of Consistency and Inconsistency -- II. Diagrammatic Reasoning. 5. The Apply Rule. 6. Reasoning by Cases. 7. Independence Proofs -- III. Sentential Reasoning. 8. Sentence Connective Rules. 9. Quantifier and Identity Rules. 10. Axioms and Analytic Consequence. 11. Logic and Observation -- C. The LoFOL Proof System.".
- catalog extent "xvii, 255 p. :".
- catalog identifier "1881526119".
- catalog isPartOf "CSLI lecture notes ; no. 42".
- catalog issued "1994".
- catalog issued "c1994.".
- catalog language "eng".
- catalog publisher "Stanford, Calif. : CSLI Publications,".
- catalog subject "160/.285/5369 20".
- catalog subject "Computer science.".
- catalog subject "Hyperproof.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "Macintosh (Computer)".
- catalog subject "QA76 .B3114 1993".
- catalog tableOfContents "About Hyperproof -- I. Basic Concepts. 1. Comparing Tarski's World and Hyperproof. 2. Proofs of Consequence and Nonconsequence. 3. Sentential Consequence Rules. 4. Proofs of Consistency and Inconsistency -- II. Diagrammatic Reasoning. 5. The Apply Rule. 6. Reasoning by Cases. 7. Independence Proofs -- III. Sentential Reasoning. 8. Sentence Connective Rules. 9. Quantifier and Identity Rules. 10. Axioms and Analytic Consequence. 11. Logic and Observation -- C. The LoFOL Proof System.".
- catalog title "Hyperproof / John Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.].".
- catalog type "text".