DaftarIsitemplate

Call Number

511.3 Cha s

Title

Symbolic logic and mechanical theorem proving

Author

Chang, Chin-Liang;

Publisher

New York : Academic Press, 1973

Subject

Logic, symbolic and mathematical

Location