Style de citation APA (7e éd.)
Gallier, J. H. (1987). Logic for computer science: Foundations of automatic theorem proving. Wiley.
Style de citation Chicago (17e éd.)
Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. Nueva York, EUA: Wiley, 1987.
Style de citation MLA (9e éd.)
Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. Wiley, 1987.
Attention : ces citations peuvent ne pas être correctes à 100%.