Cita APA (7a ed.)
Gallier, J. H. Logic for computer science: Foundations of automatic theorem proving. Wiley.
Cita estilo Chicago (17a ed.)
Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. Nueva York, EUA: Wiley.
Cita MLA (9a ed.)
Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. Wiley.
Precaución: Estas citas no son 100% exactas.