1. J. Barwise and J. Etchemendy. Tarski’s World. CSLI Publications, Stanford, 1991.
2. J. Barwise and J. Etchemendy. Hyperproof. CSLI Publications, Stanford, 1994.
3. K. Broda, M. D’Agostino, and M. Mondadori. A solution to a problem of Popper. In The Epistemology of Karl Popper. Kluwer Academic Publishers. To appear.
4. M. D’Agostino and M. Mondadori. The taming of the cut. Classical refutations with analytic cut. Journal of Logic and Computation, 3:285–319, 1994.
5. M. Mondadori and M. D’Agostino. Logica. Edizioni Scolastiche Bruno Mondadori, Milan, 1997. English translation in preparation.