Lassaigne, R., & de Rougemont, M. (2004). First-order logic. In Logic and Complexity (pp. 41–55). Springer London. https://doi.org/10.1007/978-0-85729-392-3_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.