1. Agazzi, E. (Ed.) (1981). Modern Logic. Dordrecht: Reidel.
2. Anderson, C. A., Zeleny, M. (Eds.) (2001). Logic, Meaning and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer.
3. Andréka, H., Madárasz, J., Németi, I. (2003). Why first-order logic? (unpublished).
4. Barwise, J. (1985). Model-theoretic logics: Background and aims. In Barwise, Feferman (1985), 3–23.
5. Barwise, J., Feferman, S. (Eds.) (1985). Model-Theoretic Logics. Berlin: Springer.