Metamathematics of first--Order Arithmetic, 1993. ,
Conservative theories of classical truth, Studia Logica, vol.62, pp.353-370, 1999. ,
, Truth, 2 nd edition, 1999.
Deflationism and Tarski's Paradise, Mind, vol.108, pp.69-94, 1999. ,
Logical operations, Journal of Philosophical logic, vol.25, pp.567-580, 1996. ,
Natural deduction, 1965. ,
Harmony and Autonomy in Classical Logic, Journal of Philosophical Logic, vol.29, issue.2, pp.123-154, 2000. ,
General--Elimination Harmony and the Meaning of Logical Constants, Journal of Philosophical Logic, vol.39, issue.5, pp.557-576, 2010. ,
Multiple conclusions, 2005. ,