Smullyan, R. M. (1968). First-Order Logic. Preliminaries. In First-Order Logic (pp. 43–52). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-86718-7_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.