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.

Regenstein, Bookstacks

Loading map link
Holdings details from Regenstein, Bookstacks
Call Number: BC177.R66
c.1 Available Loan period: standard loan  Scan and Deliver Request for Pickup Need help? - Ask a Librarian