Coverart for item
The Resource Formal logic : its scope and limits, Richard Jeffrey

Formal logic : its scope and limits, Richard Jeffrey

Label
Formal logic : its scope and limits
Title
Formal logic
Title remainder
its scope and limits
Statement of responsibility
Richard Jeffrey
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Jeffrey, Richard C.
Index
index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1948-
http://library.link/vocab/relatedWorkOrContributorName
Burgess, John P.
http://library.link/vocab/subjectName
First-order logic
Label
Formal logic : its scope and limits, Richard Jeffrey
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Contents
  • Ch. 1.
  • Truth-functional logic.
  • p. 1
  • Ch. 2.
  • Truth trees.
  • p. 21
  • Ch. 3.
  • Generality.
  • p. 35
  • Ch. 4.
  • Multiple generality.
  • p. 59
  • Ch. 5.
  • Identity.
  • p. 75
  • Ch. 6.
  • Functions.
  • p. 85
  • Ch. 7.
  • Uncomputability.
  • p. 99
  • Ch. 8.
  • Undecidability.
  • p. 113
  • Ch. 9.
  • Incompleteness.
  • p. 125
  • Supplement A.
  • Truth-functional equivalence.
  • p. 141
  • Supplement B.
  • Variant methods.
  • p. 151
Control code
ocm62393229
Dimensions
24 cm.
Edition
  • 4th ed. /
  • edited with a new supplement by John P. Burgess.
Extent
xii, 172 p.
Isbn
9780872208131
Lccn
2005055005
Other physical details
ill.
Label
Formal logic : its scope and limits, Richard Jeffrey
Publication
Bibliography note
Includes bibliographical references and index
Contents
  • Ch. 1.
  • Truth-functional logic.
  • p. 1
  • Ch. 2.
  • Truth trees.
  • p. 21
  • Ch. 3.
  • Generality.
  • p. 35
  • Ch. 4.
  • Multiple generality.
  • p. 59
  • Ch. 5.
  • Identity.
  • p. 75
  • Ch. 6.
  • Functions.
  • p. 85
  • Ch. 7.
  • Uncomputability.
  • p. 99
  • Ch. 8.
  • Undecidability.
  • p. 113
  • Ch. 9.
  • Incompleteness.
  • p. 125
  • Supplement A.
  • Truth-functional equivalence.
  • p. 141
  • Supplement B.
  • Variant methods.
  • p. 151
Control code
ocm62393229
Dimensions
24 cm.
Edition
  • 4th ed. /
  • edited with a new supplement by John P. Burgess.
Extent
xii, 172 p.
Isbn
9780872208131
Lccn
2005055005
Other physical details
ill.

Library Locations

    • Sydney Jones LibraryBorrow it
      Chatham Street, Liverpool, L7 7BD, GB
      53.403069 -2.963723
Processing Feedback ...