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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------