1. Adamowicz, Z., Artemov, S., Niwiński, D., Orłowska, E., Romanowska, A., Woleński, J. (Eds.) (2004). Provinces of logic determined. Essays in the memory of Alfred Tarski. Parts VI, IV and VI (Annals of Pure and Applied Logic, 127). Amsterdam: Elsevier.
2. Barwise, J. (1975). Admissible Sets and Sructures. Berlin: Springer.
3. Barwise, K., Perry, J. (1983). Situations and Attitudes. Cambridge, Mass: The MIT Press.
4. Beeh, V. (2003). Die halbe Wahrheit. Tarskis Dfinition & Tarskis Theorem. Paderborn: Mentis.
5. Bell, J., Machover, M. (1977). A Course in Mathematical Logic. Amsterdam: North-Holland.