Gaya APA
Chin-Liang Chang, Richard Char-Tung Lee. (1973).
Symbolic Logic And Mechanical Theorem Proving .
New York:
Academic Press.
Gaya Chicago
Chin-Liang Chang, Richard Char-Tung Lee.
Symbolic Logic And Mechanical Theorem Proving.
New York:
Academic Press,
1973.
Text.
Gaya MLA
Chin-Liang Chang, Richard Char-Tung Lee.
Symbolic Logic And Mechanical Theorem Proving.
New York:
Academic Press,
1973.
Text.
Gaya Turabian
Chin-Liang Chang, Richard Char-Tung Lee.
Symbolic Logic And Mechanical Theorem Proving.
New York:
Academic Press,
1973.
Print.