1. P. B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press, Orlando, Florida, 1986.
2. I. Anellis. From semantic tableaux to Smullyan trees: the history of the falsifiability tree method. Modern Logic
1, 1, 36–69, 1990.
3. I. Anellis. Erratum, from semantic tableaux to Smullyan trees: the history of the falsifiability tree method. Modern Logic
2, 219, 1991.
4. B. Beckert, R. Hähnle and P. H. and Schmitt. The even more liberalized 5-rule in free variable semantic tableaux. In Proceedings of the third Kurt Gödel Colloquium KGC’93, Brno, Czech Republic (aug 1993), G. Gottlob, A. Leitsch, and D. Mundici, Eds., Springer LNCS 713, pp. 108–119, 1993.
5. J. L. Bell and M. Machover. A Course in Mathematical Logic. North-Holland, Amsterdam, 1977.