Metakides, G., & Nerode, A. (1996). Principles of logic and logic programming. Amsterdam :$cElsevier.
Παραπομπή Chicago StyleMetakides, G., and Anil Nerode. Principles of Logic and Logic Programming. Amsterdam :$cElsevier, 1996.
Παραπομπή MLAMetakides, G., and Anil Nerode. Principles of Logic and Logic Programming. Amsterdam :$cElsevier, 1996.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.