Cita APA

Andrews, J. H. (1992). Logic programming: Operational semantics and proof theory. Cambridge University Press.

Citación estilo Chicago

Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. Cambridge ; New York: Cambridge University Press, 1992.

Cita MLA

Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. Cambridge ; New York: Cambridge University Press, 1992.

Precaución: Estas citas no son 100% exactas.