1. J. van Benthem, Ramsey eliminability, Studia Logica 37 (1978), pp. 321?336.
2. J. van Benthem, Foundations of conditional logic, Journal of Philosophical Logic 13 (1984), pp. 303?349.
3. J. Van Benthem and H. Doets, Higher-order logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 1, D. Reidel, Dordrecht, 1983.
4. J. Berg, Bolzano's Logic, Almqvist and Wiksell, Stockholm, 1962.
5. B. Bolzano, Wissenschaftslehre, Seidel Buchhandlung, Sulzbach, 1837 (translated as Theory of Science, R. George (translator), University of California Press, Berkeley and Los Angeles, 1972).