APA (7th ed.) Citation

Gallier, J. H. (2017). Logic for computer science: Foundations of automatic theorem proving (Second edition.). Dover Publications, Inc.

Chicago Style (17th ed.) Citation

Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. Second edition. Mineola, New York: Dover Publications, Inc, 2017.

MLA (9th ed.) Citation

Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. Second edition. Dover Publications, Inc, 2017.