Logic, form and function : the mechanization of deductive reasoning /

Logic, form and function : the mechanization of deductive reasoning /

Saved in:
Bibliographic Details
Author / Creator:Robinson, J. A. (John Alan)
Imprint:New York : North-Holland, c1979.
Description:vi, 312 p. : ill. ; 22 cm.
Language:English
Series:Elsevier computer science library : artificial intelligence series
Subject:
Reasoning
Form (Logic)
Predicate calculus
Inference
Form (Logic)
Inference.
Predicate calculus.
Reasoning.
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/351279
Hidden Bibliographic Details
ISBN:0444194673
Notes:Includes index.
Bibliography: p. [300]-302.
Description
Item Description:Includes index.
Physical Description:vi, 312 p. : ill. ; 22 cm.
Bibliography:Bibliography: p. [300]-302.
ISBN:0444194673

Similar Items