Coverart for item
The Resource Formal logic : its scope and limits, [by] Richard C. Jeffrey

Formal logic : its scope and limits, [by] Richard C. Jeffrey

Label
Formal logic : its scope and limits
Title
Formal logic
Title remainder
its scope and limits
Statement of responsibility
[by] Richard C. Jeffrey
Creator
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Jeffrey, Richard C
Dewey number
160
Illustrations
illustrations
Index
no index present
LC call number
BC71
LC item number
.J38
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/subjectName
Logic
Label
Formal logic : its scope and limits, [by] Richard C. Jeffrey
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 233-234)
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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
Control code
293438
Dimensions
23 cm
Extent
xii, 238 pages
Lccn
67016929
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(OCoLC)293438
Label
Formal logic : its scope and limits, [by] Richard C. Jeffrey
Publication
Bibliography note
Includes bibliographical references (pages 233-234)
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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
Control code
293438
Dimensions
23 cm
Extent
xii, 238 pages
Lccn
67016929
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(OCoLC)293438

Subject

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...