Coverart for item
The Resource Logic, form and function : the mechanization of deductive reasoning, J. A. Robinson

Logic, form and function : the mechanization of deductive reasoning, J. A. Robinson

Label
Logic, form and function : the mechanization of deductive reasoning
Title
Logic, form and function
Title remainder
the mechanization of deductive reasoning
Statement of responsibility
J. A. Robinson
Creator
Subject
Language
eng
Dewey number
160
Illustrations
illustrations
Index
index present
LC call number
BC177
LC item number
.R62 1979
Literary form
non fiction
Nature of contents
bibliography
Label
Logic, form and function : the mechanization of deductive reasoning, J. A. Robinson
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [300]-302). and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
22 cm.
Extent
vi, 312 p.
Isbn
9780444194671
Lccn
79052483
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (RLIN)UTBG85-B40228
  • (OCoLC)ocn135429277
Label
Logic, form and function : the mechanization of deductive reasoning, J. A. Robinson
Publication
Bibliography note
Includes bibliographical references (p. [300]-302). and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
22 cm.
Extent
vi, 312 p.
Isbn
9780444194671
Lccn
79052483
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (RLIN)UTBG85-B40228
  • (OCoLC)ocn135429277

Library Locations

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