511.3 / C362
Chang, Chin-Liang
Symbolic logic and mechanical theorem proving
/ Chin-Liang Chang and Richard Char-Tung Lee
.- N. Y.: Academic Press, 1973
.- 331 .
.- ( Computer Science And Applied Mathematics
Bibl. : P. 309-324
Subject Headings:
Logic;
Symbolic -- Mathematical;
Author Added Entry:
Lee, Richard Char-Tung;
Copy Details:
Acc. No.: A29142, Full Call No.: 511.3 C362, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A27568, Full Call No.: 511.3 C362, Item type: Lost , Location: Lost,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A98869, Full Call No.: 511.3 C362, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------