APA (7th ed.) Citation

Ben-Ari, M. (2012). First-Order Logic: Deductive Systems. Mathematical Logic for Computer Science, 155-166. https://doi.org/10.1007/978-1-4471-4129-7_8

Chicago Style (17th ed.) Citation

Ben-Ari, Mordechai. "First-Order Logic: Deductive Systems." Mathematical Logic for Computer Science 2012: 155-166. https://doi.org/10.1007/978-1-4471-4129-7_8.

MLA (9th ed.) Citation

Ben-Ari, Mordechai. "First-Order Logic: Deductive Systems." Mathematical Logic for Computer Science, 2012, pp. 155-166, https://doi.org/10.1007/978-1-4471-4129-7_8.