1.
, . Symbolic logic and mechanical theorem proving. Orlando Florida, London [etc.]: Academic press; 1973.
et . Symbolic logic and mechanical theorem proving. Orlando Florida, London [etc.] : Academic press, 2 mai 1973. ISBN 0-12-170350-9
Chang Chin-Liang & Lee Richard Char-Tung. (1973). Symbolic logic and mechanical theorem proving. Academic press.
Style de citation MLA (8e éd.)Chang Chin-Liang et Lee Richard Char-Tung. Symbolic Logic and Mechanical Theorem Proving. Academic press, 1973.
Attention : ces citations peuvent ne pas être correctes à 100%.