Cita APA

Miller,, D., & Nadathur,, G. (2012). Programming with Higher-Order Logic. Cambridge University Press.

Chicago Edition Citation

Miller,, Dale, i Gopalan Nadathur. Programming with Higher-Order Logic. New York: Cambridge University Press, 2012.

Cita MLA

Miller,, Dale, i Gopalan Nadathur. Programming with Higher-Order Logic. Cambridge University Press, 2012.