1. Ash, C. J., & Knight, J. (2000). Computable structures and the hyperarithmetical hierarchy. Elsevier.
2. Bourbaki, N. (1968). Set theory. Hermann and Addison–Wesley.
3. Carnap, R. (1949). The logical syntax of language. Routledge and Kegan Paul.
4. Carnap, R. (1958). Introduction to symbolic logic and its applications. Dover.
5. Corson, E. M. (1953). Introduction to tensors, spinors and relativistic wave-equations. Blackie & Sons.