1. Herbrand consistency and bounded arithmetic;Adamowicz;Fundamenta Mathematicae,2002
2. Existentially closed structures and Gödel’s second incompleteness theorem;Adamowicz;Journal of Symbolic Logic,2001
3. The Logic of Mathematics;Adamowicz,1997
4. On Herbrand consistency in weak theories;Adamowicz;Archive for Mathematical Logic,2001
5. Derivability conditions on Rosser’s proof predicates;Arai;Notre Dame Journal on Formal Logic,1990