Cita APA (7th ed.)
Gallier, J. H. Logic for computer science: Foundations of automatic theorem proving. Wiley.
Cita Chicago (17th ed.)
Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. Nueva York, EUA: Wiley.
Cita MLA (9th ed.)
Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. Wiley.
Atenció: Aquestes cites poden no estar 100% correctes.