Rossi, Alessandro, Northeastern University, London, United Kingdom

• The Australasian Journal of Logic Vol. 20 No. 1 (2023): The Australasian Journal of Logic - Articles
  From Collapse Theorems to Proof-Theoretic Arguments
  Abstract  PDF