VANCOUVER Edition Citation

1.
, . Symbolic logic and mechanical theorem proving. Orlando Florida, London [etc.]: Academic press; 1973.

ISO690 Edition Citation

et . Symbolic logic and mechanical theorem proving. Orlando Florida, London [etc.] : Academic press, 2 mai 1973. ISBN 0-12-170350-9

Style de citation APA (7e éd.)

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%.