APA (7th ed.) Citation

Boyer, R. S., & Moore, J. S. (1979). A computational logic. Academic Press.

Chicago Style (17th ed.) Citation

Boyer, Robert S., and J. Strother Moore. A Computational Logic. New York: Academic Press, 1979.

MLA (8th ed.) Citation

Boyer, Robert S., and J. Strother Moore. A Computational Logic. Academic Press, 1979.