Gallier, J. H. (2015). Logic for computer science: Foundations of automatic theorem proving (Second edition, Dover edition.). Dover Publications, Inc.
Chicago-Zitierstil (17. Ausg.)Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. Second edition, Dover edition. Mineola, New York: Dover Publications, Inc, 2015.
MLA-Zitierstil (9. Ausg.)Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. Second edition, Dover edition. Dover Publications, Inc, 2015.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.