511.3 / H323p
Hayashi, Susumu
PX
/ A COMPUTATIONAL LOGIC
.- Cambridge: Mit Pr., 1988
.- xiv,200 .
.- ( Foundations Of Computing Series
ISBN: 0262081741
Subject Headings:
Logic, Symbolic And Mathematical;
Automatic Theorem Proving;
Author Added Entry:
Nakano, Hiroshi;
Copy Details:
Acc. No.: A104636, Full Call No.: 511.3 H323p, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------