Research Catalog

Logic : form and function : the mechanization of deductive reasoning

Title
Logic : form and function : the mechanization of deductive reasoning / J. A. Robinson.
Author
Robinson, J. A. (John Alan)
Publication
Edinburgh : University Press, c1979.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/textUse in library BC199.F6 .R62Off-site

Details

Description
vi, 312 p. : ill.; 23 cm.
Subject
  • Form (Logic)
  • Predicate calculus
  • Reasoning
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. [300]-302.
ISBN
0852243057
LCCN
79312304
OCLC
  • ocm05705969
  • SCSB-6052
Owning Institutions
Princeton University Library