Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003556359/catalog> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- catalog contributor b5152711.
- catalog created "[1967]".
- catalog date "1967".
- catalog date "[1967]".
- catalog dateCopyrighted "[1967]".
- catalog description "Includes bibliographical references: p. 233-234.".
- catalog description "Pt. 1: Compound statements -- Introduction -- Logical equivalence -- Truth-functions -- Truth trees -- Adequacy of the method. trees and proofs -- Pt. 2: Quantification -- Inference rules for quantifiers -- Multiple quantification. translation -- Adequacy of the tree method -- Identity. functions -- Undecidability. incompleteness.".
- catalog extent "xii, 238 p.".
- catalog identifier "007032316X".
- catalog issued "1967".
- catalog issued "[1967]".
- catalog language "eng".
- catalog publisher "New York, McGraw-Hill".
- catalog subject "160".
- catalog subject "BC71 .J38".
- catalog subject "Logic.".
- catalog tableOfContents "Pt. 1: Compound statements -- Introduction -- Logical equivalence -- Truth-functions -- Truth trees -- Adequacy of the method. trees and proofs -- Pt. 2: Quantification -- Inference rules for quantifiers -- Multiple quantification. translation -- Adequacy of the tree method -- Identity. functions -- Undecidability. incompleteness.".
- catalog title "Formal logic: its scope and limits [by] Richard C. Jeffrey.".
- catalog type "text".