Coverart for item
The Resource Natural deduction : the logical basis of axiom systems, John M. Anderson and Henry W. Johnstone, Jr

Natural deduction : the logical basis of axiom systems, John M. Anderson and Henry W. Johnstone, Jr

Label
Natural deduction : the logical basis of axiom systems
Title
Natural deduction
Title remainder
the logical basis of axiom systems
Statement of responsibility
John M. Anderson and Henry W. Johnstone, Jr
Creator
Contributor
Subject
Language
eng
Dewey number
164
Illustrations
illustrations
Index
index present
LC call number
BC71
LC item number
.A6
Literary form
non fiction
Nature of contents
bibliography
Label
Natural deduction : the logical basis of axiom systems, John M. Anderson and Henry W. Johnstone, Jr
Instantiates
Publication
Bibliography note
Includes bibliographical references and indexes
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
xii, 418 p.
Lccn
62011239
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (LGTO)(RLIN)IAUG87-B65170
  • (GOVTcat)
  • (OCoLC)ocn370255052
Label
Natural deduction : the logical basis of axiom systems, John M. Anderson and Henry W. Johnstone, Jr
Publication
Bibliography note
Includes bibliographical references and indexes
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
xii, 418 p.
Lccn
62011239
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (LGTO)(RLIN)IAUG87-B65170
  • (GOVTcat)
  • (OCoLC)ocn370255052

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...