DaftarIsitemplate

Call Number

511.3 Cha s

Title

Symbolic logic and mechanical theorem proving/ Chin-Liang Chang

Author

Chang, Chin-Liang;

Publisher

Orlando: Academic Press, 1973

Subject

Logic, Symbolic and mathematical.

Location

FASILKOM-UI;