Deismireacht APA

Gallier, J. H. (2015). Logic for computer science: Foundations of automatic theorem proving (2nd ed.). Dover.

Chicago Edition Citation

Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. 2nd ed. New York: Dover, 2015.

Deismireacht MLA

Gallier, Jean H. Logic for Computer Science: Foundations of Automatic Theorem Proving. 2nd ed. Dover, 2015.

Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.