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