DaftarIsitemplate

Call Number

511.3 Cha s

Title

Symbolic logic & mechanical theorem proving/Chin-Liang Chang

Author

Chang, Chin Liang;

Publisher

New York: Academic Press, 1973

Subject

Location

FASILKOM-UI;