Computational Logic

MLA

Gabbay, Dov M, Jörg H Siekmann, and John Woods. Computational Logic. North-Holland, 2014.

APA

Gabbay, D. M, Siekmann, J. H, & Woods, J. (2014). Computational Logic. North-Holland.

Chicago

Gabbay, Dov M., Jörg H Siekmann, and John Woods. Computational Logic. : North-Holland, 2014.