1. Prawitz, D. (1973). Towards a foundation of a general proof-theory, in P. Suppes (Ed.), Logic methodology and philosophy of science IV (pp. 225–250). Amsterdam: North-Holland Publishing Company
2. Prawitz, D. (2006). Natural deduction. A proof theoretical study. New York: Dover Publications.
3. Prawitz, D. (2015). Explaining deductive inference, in H. Wansing (Ed.), Dag Prawitz on proofs and meaning (pp. 65–100). Cham: Springer.
4. Prawitz, D. (2019b). The seeming interdependence between the concepts of valid inference and proof, in G. Crocco & A. Piccolomini d’Aragona (Eds.), Inferences and proofs, special issue of Topoi, 38, pp. 493–503.
5. Cellucci, C. (1978). Teoria della dimostrazione. Normalizzazioni and assegnazioni di numeri ordinali. Torino: Bollati Boringhieri.